Jak zmienić domyślną czcionkę terminala i gedit?

9

Chcę zmienić font stylew terminali domyślnie geditjako well.So jak zmienić font type in Ubuntu 12.04? Każda pomoc i sugestie będą znaczne.

ubuntu-font-family nowy użytkownik
źródło
1
Możliwe duplikaty Jak zmienić czcionki i dostosować ich rozmiar?
ślimak
1
Nie jest to całkowity duplikat. Chociaż zmiana czcionek systemowych jest zawarta w łączu, zmiana czcionek w terminalu i gedit nie jest.
amc

Odpowiedzi:

10

Zainstaluj narzędzie gnome-tweak-tool Zainstaluj narzędzie gnome-tweak-tool :

sudo apt-get install gnome-tweak-tool

dostrajać

W czcionkach możesz zmienić czcionkę systemową.

W przypadku gedit:

gedit
(źródło: iloveubuntu.net )

Dla terminala: terminal

abybaddi009
źródło
0

Nie jestem pewien co do edytora, ale dla terminala wystarczy zmienić czcionkę dla domyślnego profilu z

Edit -> Profile menu

Twoje zdrowie

S.

slowko
źródło
0

W terminalu możesz kliknąć prawym przyciskiem myszy w oknie zawartości (nie na pasku tytułu) i wybrać „Profile”, a następnie „Preferencje profilu”. Otrzymasz wtedy takie samo okno dialogowe, jak pokazano w odpowiedzi 0x00F

Xavier Nodet
źródło