Java Desktop System Release 3 システム管理

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

アイコン設定の新しいオプションを追加できます。新しいオプションを追加するときは、テーマ設定ツールの「テーマの詳細」ダイアログでオプションを選択します。アイコンオプションは、/usr/share/icons/option-name ディレクトリにあります。ファイルシステムでのアイコンオプションの典型的なディレクトリ構造は、以下のとおりです。

オプションファイル

/usr/share/icons/option-name

イメージファイル

/usr/share/icons/option-name/image-size/ui-category/*.*

ui-category ディレクトリは、appsdevicesemblemsfilesystems、またはmimetypes です。

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

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