Cinnamon - 共通事項 - テーマ - Linux Mint の注意点

クラウディア 
1. 概要
2. Linux Mint の注意点

1. 概要

 「Linux Mint 20 Cinnamon」で、前ページと同じことをしたのですが・・・反映されない・・・。  変だなぁと思っていたのですが、どうも
Linux Mint Cinnamonでテーマを編集する方法 - チュートリアル - WebSetNet」(リンク切れになってしまいました)
 にヒントがあったような気がします。

2. Linux Mint の注意点

 参考サイトに「これを行ったら、ログアウトしてからログインし直します」と書いてありまして。  テーマの変更は、ログインしていて効くものの・・・。

~/.themes/Custom/cinnamon/cinnamon.css
 てな、「cinnamon.css」は・・・。  編集したら、ログインしなおさなければ、反映されないようです。  何故か、フォントの変更はできませんでしたが(これは、今後の課題かな)、メニューの項目間は狭くすることができました。

vi ~/.themes/Custom/cinnamon/cinnamon.css
 して

:%s/padding: 7px/padding: 2px/g
 で一気に編集しちゃいました。