今更ながら知ったのだが、使用していないDockerコンテナを一括で削除する便利なコマンドがDockerには用意されていた。 (ただしバージョンが 1.13 以上である必要がある。ただ、今であれば基本的に使えるはず) docker container prune | Docker Documentation…