Menu Close
Settings Close

Language and Page Formatting Options

8.2.4. 必須の拡張機能の設定

GNOME Shell では、ユーザーが使用する必要がある拡張機能セットを指定できます。

前提条件

拡張機能が、/usr/share/gnome-shell/extensions ディレクトリーにインストールされている。

手順

  1. マシン全体の設定用に、ローカルデータベースファイルを /etc/dconf/db/local.d/00-extensions-mandatory に作成します。

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

    enabled-extensions キーは、拡張機能の UUID(myextension1@myname.example.com および myextension2@myname.example.com)を使用して、有効な拡張機能を指定します。

  2. ユーザーの設定を上書きし、ユーザーが /etc/dconf/db/local.d/locks/extensions-mandatory で設定を変更できないようにします。

    # Lock the list of mandatory extensions
    /org/gnome/shell/enabled-extensions
  3. システムデータベースを更新します。

    # dconf update
  4. システム全体の設定に変更を適用するために、ユーザーは、一度ログアウトしてログインし直す必要があります。