日曜日。晴。 Linux Mint を 18.3 から 19 へアップグレードする。今回はアップデートマネージャから簡単にアップグレードとはいかなかった。多少面倒な手順が要ったので、こちらにまとめておいた。いや、ディスプレイマネージャが替わったせいか、すごく鮮…