以下は古い記事です。新しい記事は「2018年12月版 USBメモリ起動のLinux（Ubuntu18.04）をWindows10マシンで作成する方法 | hiro345」にあります。

Dockerを使うにあたって、Linux向けにDockerfileを用意したのですが、ちょっと複雑なオプション指定をすると、Windowsマシンでは動かない場合があり不便なので、WindowsマシンをLinuxで起動して使ってもらった方が速そうな気がして、USBメモリにLinuxをインストールして起動できるようにしてみました。

USB BootのLinuxは結構前からあって、いまさらの感じですが、以前よりもかなり簡単に用意ができるようになっていて、少し感動しました。
続きを読む →