曇。 午前中は Ubuntu 17.04 にかかりきり。以前インストールしたのはいいのだが、ネット接続できない不具合をようやく解決する（参照）。あとはもろもろのインストールやら設定やらで、三時間以上はかかってしまった。ふう。Ubuntu 17.04 をインストール - …