Bagaimana Cara Mengubah Font Bar Atas Tanpa Mengubah Tema Shell?

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

Jawaban yang Diterima:

Anda dapat membuat penggantian css khusus di direktori home Anda dan memuatnya dari sana (jika tidak, jika Anda membuat perubahan apa pun di lembar gaya tema, pembaruan tema apa pun kemungkinan besar akan menimpanya).

Pertama, Anda harus tahu di mana Adapta tema berada. Jika Anda telah menginstalnya dari .deb paket atau PPA itu harus ditempatkan di /usr/share/themes/Adapta dan seharusnya ada gnome-shell.css file di /usr/share/themes/Adapta/gnome-shell/ .

Sekarang ikuti langkah-langkah di bawah ini.

1. Buat direktori, katakan MyTheme baik di ~/.themes atau di ~/.local/share/themes . (Anda dapat membuat ~/.themes atau ~/.local/share/themes jika mereka tidak ada.)

2. Buat direktori lain di dalam MyTheme disebut gnome-shell .

3. Buat dokumen kosong di gnome-shell direktori dan beri nama gnome-shell.css .

4. Buka gnome-shell.css ini dalam editor teks dan tambahkan baris berikut

   @import url("//eadn-wc01-5196795.nxedge.io/usr/share/themes/Adapta/gnome-shell/gnome-shell.css");  
   
   stage {
       font-family: FONT_NAME, Sans-Serif;
       font-size: 14pt;
   }
   

Ubah FONT_NAME ke font pilihan Anda (Anda juga dapat mengubah ukuran font) dan menyimpan file.

5. Buka Alat Tweak GNOME dan aktifkan Tema pengguna ekstensi.
   (Jika ekstensi tidak diinstal, Anda dapat menginstalnya dari sini.)

6. Buka Penampilan bagian Tweak Tools dan klik kotak tarik-turun di samping “Tema Shell “. Tema Saya akan muncul di daftar drop-down. Pilih itu.

7. Mulai ulang shell GNOME dengan mengetik alt +f2 lalu R +masuk (berfungsi dalam sesi Xorg, di Wayland logout dan login lagi).