とうとうMint19をインストールしました。 しかし、素直にMintUpgradeに挑戦しましたが、失敗しました。しょうがなくクリーンインストールしました。 シングルパーティションにインストールしたら/homeは消去されずに残っていたので、かなり助かりました。 目…