この連休は大学が法定停電でサーバ類も全部落としているので平和（？）である。サーバはこのタイミングで全部 Ubuntu 18.04 LTS に統一できた（16.04 がちらほらあった。別に古くても困ってはいなかったのだが、統一されていないのが微妙に使い勝手が悪かっ…