Czy można zmienić czcionkę terminala?

53

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

command-line fonts

— 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

1

Zobacz także Jak nazywa się domyślna czcionka konsoli Debian / Ubuntu (TTY)? i 7 najlepszych czcionek terminalu Ubuntu (o stałej szerokości)

— Hans Ginzel 11.04.16

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 Edycja → Profile . 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 Profile → Preferencje 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