reboot以上で、18.04へのアップグレードは完了です。レポジトリの変更だけで解決しました。最後にあまり使わないマシンにはLTS版を入れるべし。付録:zestyをartfulに書換え後の/etc/apt/sources.listzestyをartfulに機械的に置き換えて構いません。変更すれば、更新できると思います。ダウンロード元は「日本のサーバー」にしていましたが、「メインサーバー」に切り替えて作業しました。日本のサーバーでもできるかは、よく分かりません。楽天ROOMにガジェットをまとめてます。グレイテスト・ショーマン心温まるミュージカル。