(2023-12-08 初稿 - ) Dockerをしばらく使っていると、いろいろなImageとconteinerが溜まって来るとともに、Dockerfileも溜まってきて、どれがどのDockerfileかわからなくなって来る。 (もちろん、Dockerfileに名前を付けて、呼び出すこともできるけど…) 最…