適当な思いつきで書くブログ

テキオモの記憶の片隅に追いやられそうな出来事を書き連ねます

"GNOME Shell"に関する記事

GNOMEの拡張を削除するにはOSがデフォルトの状態の場合、Firefoxで Installed Extensions - GNOME Shell Extensions のページで削除できる。
各拡張ごとにある❌ボタンをクリックすれば削除できるのだが、削除できるのは$HOME/.local/share/gnome-shell/extensions/以下にインストールされた拡張のみである。
ページに表示される拡張は上記のディレクトリにあるものの他に/usr/share/gnome-shell/extensions以下にある拡張も対象なのだが、後者は❌ボタンをクリックしても削除できずに残り続ける。

さらに読む