https://blog.lycheejam.net/posts/docker-customize-dockerfile-name/