第14章 GNOME Shell 拡張機能の有効化と適用

手順

1. GNOME Extensions Web サイトから拡張機能のアーカイブをダウンロードします。

2. アーカイブを /usr/share/gnome-shell/extensions ディレクトリーに展開します。

   # unzip -q <extension-file.zip> -d /usr/share/gnome-shell/extensions/

   Copy to Clipboard Toggle word wrap

   <extension-file.zip> は、拡張機能の zip ファイルの名前に置き換えます。

3. パーミッションを調整して、すべてのユーザーが拡張機能のファイルを読み取り、実行できるようにします。

   # chmod -R 755 /usr/share/gnome-shell/extensions/<extension-directory>/

   Copy to Clipboard Toggle word wrap

   <extension-directory> は、拡張機能のディレクトリーの名前に置き換えます。

4. 次の内容を含む新しい /etc/dconf/db/local.d/00-extensions ファイルを作成します。

   [org/gnome/shell]
   enabled-extensions=['myextension1@myname.example.com', 'myextension2@myname.example.com']

   Copy to Clipboard Toggle word wrap

   UUID (myextension1@myname.example.com、myextension2@myname.example.com) は、有効にする UUID に置き換えます。拡張機能の UUID は、GNOME Shell Extensions Web サイトのページで確認できます。

5. 変更をシステムデータベースに適用します。

   # dconf update

   Copy to Clipboard Toggle word wrap