- 1. 概要
- 2. インストール
- 3. 設定
1. 概要
ブラウザによる拡張機能をインストールするためには、以前「chrome-gnome-shell」が必要であったものが「gnome-browser-connector」へ変わったことについて、前で述べましたが。
今や（2023年2月6日）、拡張機能そのものが、「gnome-shell-extension-manager」なる、パッケージをインストールすることが必要になりました。
以下、「elementary OS 7.0」での操作です。
2. インストール
「elementary OS 7.0」へ「GNOME」のデスクトップ環境をいれて、「Arc Menu」をインストールしたりして操作しておりました。
アップデートやらアップグレードやらして、何度か再起動していると、急に「Arc Menu」が使えなくなりました。
再インストールするかと、「GNOME Shell Extensions」をブラウザで開いて、「Arc Menu」のページを開くと
アンインストールしかできなくなっておる。
これで、アンインストールしてしまうと、インストールもできなくなりますでな。
あれこれ調べてやっとわかりました。
「gnome-shell-extension-manager」なるパッケージをインストールする必要があるようです。
「root」ユーザ権限で。
apt install -y gnome-shell-extension-manager
これで、次項以下の設定を行います。
3. 設定
前項でパッケージをインストールすると（他にも必要なものがあるかもしれない）、「elementary OS 7.0」では
・gnome-extensions-app
・extension-manager
というアプリケーションがインストールされます。
まず、拡張機能を有効にするのに「gnome-extensions-app」で設定する必要があります。
（メニュー上では、「拡張機能」と言っておりますな、相変わらずの「GNOME」のひどいネーミング）
起動して
「拡張機能」のトグルスイッチをオンにします。
これで、まず、拡張機能を有効化したわけです。
次に「extension-manager」を起動して
（これは、ネーミングが「Extension Manager」なのでまだまし）
「Arc Menu」のトグルスイッチをオンにすれば、「Arc Menu」を有効化できます。
|
