web-dev-qa-db-ja.com

gnome-Shell.cssは存在しません

Ubuntu Gnome 16.04.1を使用していて、ダッシュのアイコンのサイズを変更したい。したがって、ファイル/usr/share/gnome-Shell/themes/gnome-Shell.cssを編集したかった

このファイルは存在しませんが、「gnome-Shell.css.save」というファイルがあり、開くことができません。何か案は？

そして、これはアイコンのサイズを変更するのに適切なファイルですか？私はデスクトップのアイコンについてではなく、ダッシュのアイコンについて話している。

似たような質問がたくさんあったことは知っていますが、私は一晩中グーグルで検索し、正しい答えを見つけることができませんでした。

どうもありがとう。

gnomeiconsunity-dash
3
user576230

ここで、デフォルトのシェルcssのコピーを取得できます。
https://raw.githubusercontent.com/GNOME/gnome-Shell/master/data/theme/gnome-Shell.css

実際にこれをベースとして使用して、フォントサイズを大きくするなど、デフォルトのシェルスタイルをオーバーライドできます。

ユーザーテーマ拡張機能を入手します。
https://extensions.gnome.org/extension/19/user-themes/

ディレクトリを作成します。
mkdir $HOME/.themes/new-theme-name/gnome-Shell

そのGnomeベースファイルをコピーします。

cd $HOME/.themes/new-theme-name/gnome-Shell
wget https://raw.githubusercontent.com/GNOME/gnome-Shell/master/data/theme/gnome-Shell.css

ファイルの最後に目的の「オーバーライド」を追加します。
例：

/* Increase font size here */
stage {
    font-family: cantarell, sans-serif;
    font-size: 14pt;
    color: white;
}

Tweak-toolスイッチを使用して、新しいテーマに切り替えます。

OPがアイコンについて質問したことを理解していますが、これは同様のプロセスである必要があります。

1
Mark