Czy można zmienić czcionkę terminala?

53

Chciałbym zmienić czcionkę w terminalu, jak mogę to osiągnąć?

Fawkes5
źródło
2
Który terminal? Czy Sublime text 2 jest zainstalowany w twoim systemie?
Marty Fried
2
i Która czcionka? -
Anwar
Sublime text 2 jest zainstalowany. Czcionka, która mnie interesuje, to domyślna czcionka, którą instaluje sublime. Nie mogę znaleźć jego nazwy
Fawkes5

Odpowiedzi:

46

Terminal Bash:

Menu, Edycja => Preferencje profilu => zakładka Ogólne ; odznacz Użyj systemowej czcionki o stałej szerokości i wybierz żądaną czcionkę.

W przypadku ogólnego terminala xterm musisz utworzyć plik ~/.Xresourcesi dodać do niego ustawienia, na przykład xterm*font: Sublime\ Text\ 2-1212-punktowe (to przypuszczenie, nie wiem, czy jest całkowicie poprawne).

Marty Fried
źródło
Mój terminal gnome ulega awarii, gdy odznaczam pole wyboru „Użyj czcionki o stałej szerokości systemu”. Czy istnieje sposób na zmodyfikowanie lub wyczyszczenie tego ustawienia bez przechodzenia przez ten GUI?
Jonathan Hartley,
W Ubuntu 18.04 lub Ubuntu 18.04 nie ma menu o nazwie „Edytuj”. Być może zaktualizujesz swoją odpowiedź, aby obejmowała także nowsze wersje Ubuntu?
Peter Mortensen
Lub przynajmniej zaznacz to, np. „Dla Ubuntu 9 do Ubuntu 16.04:” lub podobny (w tym przykładzie stworzyłem zakres wersji).
Peter Mortensen
30

Chociaż nie wspomniałeś o używanej czcionce ani o tym, którego terminala używasz, daję ogólną odpowiedź na zmianę czcionki w gnome-terminal.

Daję na to dwa sposoby, choć oba są względnie blisko siebie

Formalnie

  • Otwórz terminal naciskając Ctrl+ Alt+ T.
  • Następnie przejdź z menu EdycjaProfile . W oknie edycji profilu kliknij Editprzycisk.
  • Następnie na karcie Ogólne odznacz Użyj systemowej czcionki o stałej szerokości , a następnie wybierz żądaną czcionkę z menu rozwijanego

Łatwiejszy sposób

  • Otwórz terminal naciskając Ctrl+ Alt+ T.
  • Kliknij terminal prawym przyciskiem myszy, z wyświetlonego menu podręcznego przejdź do ProfilePreferencje profilu
  • Następnie na karcie Ogólne odznacz Użyj systemowej czcionki o stałej szerokości , a następnie wybierz żądaną czcionkę z menu rozwijanego.

Daję dwa zrzuty ekranu poniżej:

Obraz menu podręcznego

Obraz okna profilu „Edytuj”

Anwar
źródło
1
och wow, nie wiedziałem, że to takie proste. DZIĘKUJĘ CI!!!
Fawkes5
O ile widzę, „Profile” znajdują się w „Preferencjach” w Ubuntu 18.04 lub Ubuntu 18.04. Być może zaktualizujesz swoją odpowiedź, aby obejmowała także nowsze wersje Ubuntu?
Peter Mortensen
1

W przypadku Ubuntu 17.04 z GNOME Terminal 3.20.2 opcje są nieco inne. Z menu przejdź do Edycja -> Preferencje profilu -> zakładka Ogólne. W Text Appearance sectionwybierz Custom fontopcję, kliknij wybraną czcionkę, a następnie zmniejsz numer rozmiaru czcionki u dołu nowego okna.

patrickvacek
źródło
Tak, używam ciemnego motywu i niskiej jasności, więc pole wyboru jest prawie niewidoczne
qwr
0

jeśli masz na myśli terminal serwera, czyli brak systemu okien, tylko konsolę, podoba mi się ta odpowiedź :

setfont /usr/share/consolefonts/UbuntuMono-R-8x16.psf

to jest przykład; możesz zobaczyć listę dostępnych czcionek takich jak ta:

ls /usr/share/consolefonts

a jeśli z jakiegoś powodu ich nie masz, możesz je zainstalować w następujący sposób:

sudo apt-get install fonts-ubuntu-font-family-console

pamiętaj, że może być konieczne umieszczenie polecenia setfont w pliku .profile lub .bashrc, ponieważ może być konieczne uruchomienie przy każdym logowaniu

jmarina
źródło