Czcionka XTerm jest bardzo mała. Jak mogę go powiększyć?
Czcionka XTerm jest bardzo mała. Jak mogę go powiększyć?
Odpowiedzi:
Jeśli jeszcze go nie masz, utwórz plik o nazwie w katalogu domowym, .Xresources
aby zapisać swoje preferencje dla różnych programów X. Dodaj linię do pliku, np
xterm*font: *-fixed-*-*-*-18-*
Informuje xterm
to o użyciu czcionki „stałej” o rozmiarze 18.
Stąd możesz ponownie uruchomić X lub uruchomić xrdb -merge ~/.Xresources
w terminalu, aby uwzględnić wprowadzone zmiany. Wszystkie nowe xterm
litery powinny mieć teraz zmianę czcionki.
Jeśli pobiegniesz man xterm
i zejdziesz do sekcji ZASOBY, możesz znaleźć wiele dodatkowych, konfigurowalnych xterm
opcji.
geometry
. Więc coś jak poniżej w swojej .Xresources
będzie działać: xterm*geometry: 110x50
.
xterm: cannot load font '*-fixed-*-*-*-38-*'
Warning: Shell widget "xterm" has an invalid geometry specification: "*-fixed-*-*-*-38-*"
Użyj parametrów -fa i -fs:
xterm -fa 'Monospace' -fs 14
Monospace
nie tylko zmieni rozmiar, ale użyje zupełnie innej czcionki (przynajmniej tak jest w Ubuntu 18.04). Zauważyłem Monospace
też, że używam nadmiernej ilości wygładzania, co sprawia, że wygląda rozmazany, gdy wyświetla się obok xterm
okna przy użyciu domyślnej czcionki.
Możesz także kliknąć Ctrl-Prawy przycisk myszy, aby tymczasowo zmienić rozmiar czcionki
appres XTerm | grep -i utf8font
Od bałaganu przy użyciu /etc/X11/app-defaults/XTerm
pliku i strony podręcznika dla Xterm znalazłem dwie metody.
Metoda 1: Prostsza metoda, ale nie stała: przytrzymaj klawisz Ctrl i kliknij prawym przyciskiem myszy. Powinno to wywołać menu czcionek VT, które pozostaje włączone tylko tak długo, jak długo przytrzymasz prawy przycisk myszy. Powinieneś zobaczyć 7 opcji, z których największy jest ogromny, z czego korzystam, ponieważ moja wizja nie jest dokładnie dobra.
Źródło: strona man xterm (1), część Czcionki VT, która stwierdza: „FontMenu pojawia się, gdy w oknie zostanie naciśnięty klawisz„ control ”i trzy przycisk wskaźnika.”
Metoda 2: Stała. Przejrzyj /etc/X11/app-defaults/XTerm
, znajdź rozmiary linii, takie jak *VT100.font1:
, wybierz jedną i napisz gdzieś xterm*font: 10x20
(10x20, znowu to mój wybór z powodów, które już powiedziałem).
O moim systemie: Używam Ubuntu 13.10
Jeszcze jedna opcja, dodaj to do swoich, ~/.Xresources
aby utworzyć skróty do zmiany rozmiaru czcionki:
XTerm.vt100.translations: #override \n\
Ctrl <Key> minus: smaller-vt-font() \n\
Ctrl <Key> plus: larger-vt-font()
Jeśli używasz uxterm, pamiętaj, aby użyć UXTerm.vt100.translations
zamiast tego.
Następnie możesz użyć ctrl+, +aby zwiększyć rozmiar czcionki lub ctrl+, -aby zmniejszyć rozmiar, tak jak możesz z ctrl+ right-click
i wybierając jedną z innych opcji rozmiaru czcionki.
Możesz dodać następujące do ~/.Xresources
pliku jako przykład :
! Use a truetype font and size.
xterm*faceName: Monospace
xterm*faceSize: 14
Następnie uruchom następujące polecenie:
xrdb -merge ~/.Xresources
Utworzenie pliku .Xresources z określonymi liniami kodu (podanymi w odpowiedzi przez noffle) naprawiło mój problem, ale po ponownym uruchomieniu ustawienia ponownie się zgubiły.
Jeśli ustawienia określone w pliku .Xresource nie są automatycznie odzwierciedlane, spróbuj dodać poniższy wiersz do ~/.bashrc
.
[[ -f ~/.Xresources ]] && xrdb -merge ~/.Xresources