第15章コマンドラインによる GNOME Shell 拡張機能の管理

gnome-extensions ユーティリティーは、ターミナルから GNOME Shell 拡張機能を管理できるようにするコマンドラインツールです。拡張機能のリスト表示、インストール、有効化、無効化、削除、および情報の取得を行うためのさまざまなコマンドを提供します。

各 GNOME Shell 拡張機能には UUID (Universally Unique Identifier) があります。拡張機能の UUID は、GNOME Shell Extensions Web サイトのページで確認できます。

手順

インストールされている GNOME Shell 拡張機能をリスト表示するには、次のコマンドを使用します。
```
$ gnome-extensions list
```
GNOME Shell 拡張機能をインストールするには、次のコマンドを使用します。
```
$ gnome-extensions install <UUID>
```
GNOME Shell 拡張機能を有効にするには、次のコマンドを使用します。
```
$ gnome-extensions enable <UUID>
```
GNOME Shell 拡張機能に関する情報を表示するには、次のコマンドを使用します。
```
$ gnome-extensions info <UUID>
```
GNOME Shell 拡張機能を無効にするには、次のコマンドを使用します。
```
$ gnome-extensions disable <UUID>
```
GNOME Shell 拡張機能を削除するには、次のコマンドを使用します。
```
$ gnome-extensions uninstall <UUID>
```

<UUID> は、インストールする GNOME Shell 拡張機能に割り当てられている一意の識別子に置き換えます。

関連情報

第15章 コマンドラインによる GNOME Shell 拡張機能の管理