Jak mogę zmienić czcionkę górnego paska bez zmiany motywu powłoki?

12

Używam Ubuntu GNOME 17.04. Chcę zmienić czcionkę górnego paska GNOME z domyślnej czcionki Adapty na Fira Sans. Mam już wszystkie czcionki, chcę tylko zmienić czcionkę górnego paska, aby nie wyglądała nie na miejscu w porównaniu do wszystkiego innego.

Justin15
źródło

Odpowiedzi:

20

Możesz utworzyć niestandardowe zastąpienie css w swoim katalogu domowym i załadować je stamtąd (w przeciwnym razie, jeśli wprowadzisz jakiekolwiek zmiany w arkuszu stylów motywu, każda aktualizacja motywu najprawdopodobniej go zastąpi).

Najpierw powinieneś wiedzieć, gdzie znajduje się motyw Adapta . Jeśli zainstalowałeś go z .debpakietu lub PPA, powinien on znajdować się w /usr/share/themes/Adaptai powinien znajdować się gnome-shell.cssplik /usr/share/themes/Adapta/gnome-shell/.

Teraz wykonaj poniższe czynności.

  1. Utwórz katalog, powiedz MyThemealbo w, ~/.themesalbo w ~/.local/share/themes. (Możesz utworzyć ~/.themeslub ~/.local/share/themesjeśli nie istnieją.)
  2. Utwórz inny katalog o MyThemenazwie gnome-shell.
  3. Utwórz pusty dokument w tym gnome-shellkatalogu i nazwij go gnome-shell.css.
  4. Otwórz to gnome-shell.cssw edytorze tekstu i dodaj następujące wiersze

    @import url("/usr/share/themes/Adapta/gnome-shell/gnome-shell.css");  
    
    stage {
        font-family: FONT_NAME, Sans-Serif;
        font-size: 14pt;
        color: #ffffff;
    }
    

    Zmień FONT_NAMEna wybraną czcionkę (możesz także zmienić rozmiar i kolor czcionki) i zapisz plik.

  5. Otwórz GNOME Tweak Tools i aktywuj rozszerzenie motywów użytkownika . (Jeśli rozszerzenie nie jest zainstalowane, możesz je zainstalować tutaj .)

  6. Przejdź do sekcji Wygląd narzędzi do ulepszania i kliknij menu rozwijane obok „ Motywu powłoki ”. MyTheme powinien pojawić się na liście rozwijanej. Wybierz to.

  7. Zrestartuj powłokę GNOME, wpisując alt+ f2następnie R+ enter(działa w sesji Xorg, w wylogowaniu Waylanda i zaloguj się ponownie).

pomsky
źródło
2

Znalazłem odpowiedź na moje pytanie! Najskuteczniejszym sposobem zmiany czcionki górnego paska jest zmiana rodzin czcionek w gnome-shell.csspliku.

Aby to zrobić, najpierw użyj

sudo su

aby otworzyć terminal główny. Następnie użyj

nautilus --browser

aby otworzyć wersję root Nautilusa.

Następnie będziesz chciał przejść do /usr/share/themes/"THEME_NAME"/gnome-shell/gnome-shell.css/. Otwórz plik i tam, gdzie jest napisane coś takiego

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

zmień pierwszą czcionkę na nazwę swojej. Wynik powinien być podobny

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

jeśli zmieniłeś czcionkę na Fira Sans.

Uruchom ponownie powłokę za pomocą Alt+, F2a następnie wpisz r.

Dzięki temu motywy, które chcesz, mają czcionki, które chcesz zamiast zmieniać na Adwaita.

Uwaga: Aktualizacje motywów GTK mogą zepsuć tę konfigurację, więc odpowiedź pomsky'ego została oznaczona jako najlepsza.

Justin15
źródło
3
Zmieniłem odpowiedź w pracy z motywem Adapta. Nawiasem mówiąc, nigdy nie powinieneś uruchamiać aplikacji graficznej takiej jak Nautilus lub gedit z normalnym sudo . Jako alternatywę można użyć nanodo edycji tekstu w wierszu poleceń lub biegu sudo -H gedit, sudo -H nautilusitp
pomsky
1

W Ubuntu 19.10gnome-shell.css lokalizacja to:

/usr/share/gnome-shell/theme/Yaru/gnome-shell.css

Edytuj gnome-shell.cssjako administrator. Następnie wyszukaj

stage {
  font-family: 

Po prostu dodaj żądaną nazwę rodziny czcionek. Na przykład:

stage {
  font-family: Fira Sans, Cantarell, Sans-Serif;
  font-size: 10pt;
  color: #3D3D3D; }

Gotowy. Zapisz, wyloguj się i zaloguj ponownie.

FM Panda
źródło