Bagaimana cara mengubah font bilah atas tanpa mengubah tema shell?

12

Saya menggunakan Ubuntu GNOME 17.04. Saya ingin mengubah font bar atas GNOME dari font default oleh Adapta ke Fira Sans. Saya sudah memiliki semua font, saya hanya ingin mengubah font bar bagian atas sehingga tidak terlihat aneh dibandingkan dengan yang lainnya.

— Justin15
sumber

20

Anda dapat membuat custom css override di direktori home Anda dan memuatnya dari sana (jika tidak, jika Anda membuat perubahan pada style sheet tema, setiap pembaruan tema kemungkinan besar akan menimpanya).

Pertama, Anda harus tahu di mana tema Adapta berada. Jika Anda telah menginstalnya dari .debpaket atau PPA, ia harus berada di /usr/share/themes/Adaptadan harus ada gnome-shell.cssfile di /usr/share/themes/Adapta/gnome-shell/.

Sekarang ikuti langkah-langkah di bawah ini.

Buat direktori, misalnya MyThemedi ~/.themesatau di ~/.local/share/themes. (Anda dapat membuat ~/.themesatau ~/.local/share/themesjika tidak ada.)
Buat direktori lain di dalamnya MyThemebernama gnome-shell.
Buat dokumen kosong di gnome-shelldirektori ini dan beri nama gnome-shell.css.
Buka ini gnome-shell.cssdi editor teks dan tambahkan baris berikut
```
@import url("/usr/share/themes/Adapta/gnome-shell/gnome-shell.css");  

stage {
    font-family: FONT_NAME, Sans-Serif;
    font-size: 14pt;
    color: #ffffff;
}
```
Ubah FONT_NAMEke font pilihan Anda (Anda juga dapat mengubah ukuran dan warna font) dan menyimpan file.
Buka Alat Tweak GNOME dan aktifkan ekstensi Tema pengguna . (Jika ekstensi tidak diinstal, Anda dapat menginstalnya dari sini .)
Pergi ke bagian Penampilan Alat Tweak dan klik pada kotak drop-down di sebelah " tema Shell ". Tema Saya akan muncul di daftar drop-down. Pilih itu.
Mulai ulang shell GNOME dengan mengetik alt+ f2lalu R+ enter(berfungsi dalam sesi Xorg, dalam logout Wayland dan login lagi).

— pomsky
sumber

2

Saya telah menemukan jawaban untuk pertanyaan saya! Cara paling efektif untuk mengubah font di bar bagian atas adalah dengan mengubah keluarga font dalam gnome-shell.cssfile.

Untuk melakukan ini, gunakan dulu

sudo su

untuk membuka terminal root. Kemudian gunakan

nautilus --browser

untuk membuka versi root Nautilus.

Anda kemudian ingin menavigasi ke /usr/share/themes/"THEME_NAME"/gnome-shell/gnome-shell.css/. Buka file dan di mana dikatakan sesuatu seperti

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

ubah font pertama ke nama font Anda. Hasilnya harus seperti

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

jika Anda mengubah font ke Fira Sans.

Mulai ulang shell menggunakan Alt+ F2lalu ketik r.

Melakukan hal ini membuat tema yang Anda inginkan memiliki font yang Anda inginkan alih-alih berubah menjadi Adwaita.

Catatan: Pembaruan untuk Tema GTK dapat mengacaukan konfigurasi ini, jadi jawaban pomsky telah ditandai sebagai yang terbaik.

— Justin15
sumber

3

Saya membuat perubahan pada jawaban saya untuk bekerja dengan tema Adapta. Ngomong-ngomong kamu tidak boleh memulai aplikasi grafis seperti Nautilus atau gedit dengan sudo normal . Sebagai alternatif, Anda dapat menggunakan nanountuk mengedit teks di baris perintah atau menjalankan sudo -H gedit, sudo -H nautilusdll.

— pomsky

1

Di Ubuntu 19.10 yang gnome-shell.csslokasi adalah:

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

Edit gnome-shell.csssebagai administrator. Kemudian cari

stage {
  font-family:

Cukup tambahkan nama font-family yang Anda inginkan. Sebagai contoh:

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

Selesai Simpan dan keluar dan masuk lagi.

— Panda Panda
sumber