ubuntu 20.04.1（mariaDBは解決?）

•  ubuntu 20.04 mariaDBが終了しない？(2)

も解決しているみたい。20.04に移行できる下地ができたか。