Java Desktop System Release 2 システム管理

新しいコントロールオプションをインストールする

コントロール設定の新しいオプションをテーマ設定ツールで追加できます。コントロールオプションは、/usr/share/themes ディレクトリにあります。ファイルシステムでのコントロールオプションの典型的なディレクトリ構造は、以下のとおりです。

オプションファイル

/usr/share/themes/option-name/gtk-2.0/gtkrc

イメージファイル

/usr/share/themes/option-name/pixmaps/*.*

一般的にコントロール設定の新しいオプションは、.tar.gz ファイルの形で提供されます。新しいコントロールオプションをインストールするには、.tar.gz ファイルを解凍して、.tar ファイルを /usr/share/themes ディレクトリに展開します。

ユーザーは、コントロール設定に対してユーザー定義のオプションもインストールできます。コントロール設定のオプションをインストールすると、そのオプションは $HOME/.themes ディレクトリに保存されます。