GPD microPC、Ubuntu19.10を入れてつかっていたのだが最近20.04が出たと聞いてupgradeした。 sudo apt dist-upgrade では特にアップデートされなかったので sudo do-releae-upgrade -d をしたところ特に問題なく更新することができた。 20.04になった で、最…