ubuntu 20.04環境で、ある日突然gnome拡張機能が無効になった。自分は、時計を右に持っていく拡張(Frippery Move Clock)と、時計のフォーマットを変更する拡張(Datetime Format)を使っているのだが、地味に困る。発生条件としては、xrdpで接続されると必ず起きるらしい。
対処方法はgnome tweaksで拡張機能を有効にする。

gnome tweaksが入ってない場合はインストールする。
1 |
$ sudo apt install gnome-tweaks |
なんか自分の環境だと、ubuntu tweaks なるものも入っていそう。そもそもLTSのアップデートを何度も繰り返しているので、その辺りも今回の現象に影響していそう。いつかクリーンインストールしたい(多分やらない)。何度もアップデートして使えているのもすごいですけどね。さすがdebianの系譜。