VirtualBox に CentOS を入れて実行させていたが、サポートが切れることもあり Ubuntu を入れることに。前にも入れようと思ったんだけど遅すぎてあきらめた。新しいPCにしたので大丈夫だろうということで。 以前のセットアップを参照したらそれでOKだった。…