Ubuntu 20.10 がリリースされたので、早々に OS をアップグレードしました。 今回はクリーンインストールではなく、久しぶりのアップグレードです。事前に躓きそうなパッケージを remove しておいたので割とスムーズに完了しました。 リポジトリを調整して、…