Cinnamon - 共通事項 - テーマ - カスタマイズテーマを作成
1. デフォルトのテーマをコピー デフォルトのテーマをコピーしてカスタマイズ用のテーマを作成します。 まず、デフォルトのテーマが何かを調べます。 「スタート」→「設定」→「テーマ」
わたしが、いじりたい箇所のテーマは、「デスクトップ」のものです。
名称が「Mint-Y-Dark-Teal」ということがわかります(なるほど、「Mint」のものを持ってきているのね)。 これは、下記のディレクトリに一式が存在します。 /usr/share/themes/Mint-Y-Dark-Teal 個人用ディレクトリにコピーして、「Custom」という名称にします。 cp -R /usr/share/themes/Mint-Y-Dark-Teal ~/.themes/Custom コピー後に、同じ操作をして、デスクトップを選択すると、「Custom」が追加されています。
/usr/share/themes/Mint-Y-Dark-Teal
cp -R /usr/share/themes/Mint-Y-Dark-Teal ~/.themes/Custom