web-dev-qa-db-ja.com

シェルテーマを変更せずにトップバーのフォントを変更するにはどうすればよいですか？

Ubuntu GNOME 17.04を使用しています。 GNOMEトップバーのフォントをAdaptaのデフォルトフォントからFira Sansに変更したい。私はすでにすべてのフォントを持っています。トップバーのフォントを変更して、他のすべてのフォントと比べて見た目がずれないようにします。

themesfontsgnome-shelltop-bar
12
Justin15

ホームディレクトリにカスタムcssオーバーライドを作成してそこから読み込むことができます（そうしないと、テーマのスタイルシートを変更した場合、テーマを更新すると上書きされる可能性があります）。

最初に、Adaptaテーマの場所を知る必要があります。 .debパッケージまたはPPAからインストールした場合は、/usr/share/themes/Adaptaにあり、gnome-Shell.cssに/usr/share/themes/Adapta/gnome-Shell/ファイルがあるはずです。

次の手順に従ってください。

  1. ~/.themesまたは~/.local/share/themesのいずれかにMyThemeと言うディレクトリを作成します。 （存在しない場合は、~/.themesまたは~/.local/share/themesを作成できます。）
  2. gnome-ShellというMyTheme内に別のディレクトリを作成します。
  3. このgnome-Shellディレクトリに空のドキュメントを作成し、gnome-Shell.cssという名前を付けます。

  4. このgnome-Shell.cssをテキストエディターで開き、次の行を追加します

    @import url("/usr/share/themes/Adapta/gnome-Shell/gnome-Shell.css");  

stage {
    font-family: FONT_NAME, Sans-Serif;
    font-size: 14pt;
    color: #ffffff;
}

    FONT_NAMEを選択したフォントに変更し（フォントサイズと色を変更することもできます）、ファイルを保存します。

  5. GNOME Tweak Toolsを開き、ユーザーテーマ拡張を有効にします。 （拡張機能がインストールされていない場合は、 here からインストールできます。）

  6. Tweak ToolsのAppearanceセクションに移動し、「Shell theme」の横にあるドロップダウンボックスをクリックします「。 MyThemeがドロップダウンリストに表示されます。選択してください。

  7. 入力してGNOME Shellを再起動します alt+f2 それから R+enter （Xorgセッションで動作し、Waylandログアウトして再度ログインします）。

18
pomsky

私の質問に対する答えを見つけました！トップバーのフォントを変更する最も効果的な方法は、gnome-Shell.cssファイルのフォントファミリを変更することです。

これを行うには、最初に使用します

Sudo su

ルート端末を開きます。次に使用する

nautilus --browser

nautilusのルートバージョンを開きます。

次に、/usr/share/themes/"THEME_NAME"/gnome-Shell/gnome-Shell.css/に移動します。ファイルを開き、次のように表示されます

stage { font-size: 10pt; font-family: Roboto, Cantarell, Sans-Serif; font-weight: 400; color: #263238; }

最初のフォントをフォントの名前に変更します。結果は次のようになります

stage { font-size: 10pt; font-family: Fira Sans, Cantarell, Sans-Serif; font-weight: 400; color: #263238; }

フォントをFira Sansに変更した場合。

を使用してシェルを再起動します Alt+F2 rと入力します。

これを行うと、Adwaitaに変更する代わりに、必要なテーマに必要なフォントが設定されます。

注：GTKテーマの更新はこの構成を台無しにする可能性があるため、pomskyの答えは最高とマークされています。

2
Justin15