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, .Xresourcesaby zapisać swoje preferencje dla różnych programów X. Dodaj linię do pliku, np
xterm*font: *-fixed-*-*-*-18-*
Informuje xtermto o użyciu czcionki „stałej” o rozmiarze 18.
Stąd możesz ponownie uruchomić X lub uruchomić xrdb -merge ~/.Xresourcesw terminalu, aby uwzględnić wprowadzone zmiany. Wszystkie nowe xtermlitery powinny mieć teraz zmianę czcionki.
Jeśli pobiegniesz man xtermi zejdziesz do sekcji ZASOBY, możesz znaleźć wiele dodatkowych, konfigurowalnych xtermopcji.
geometry. Więc coś jak poniżej w swojej .Xresourcesbę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
Monospacenie tylko zmieni rozmiar, ale użyje zupełnie innej czcionki (przynajmniej tak jest w Ubuntu 18.04). Zauważyłem Monospaceteż, że używam nadmiernej ilości wygładzania, co sprawia, że wygląda rozmazany, gdy wyświetla się obok xtermokna 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/XTermpliku 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, ~/.Xresourcesaby 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.translationszamiast 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-clicki wybierając jedną z innych opcji rozmiaru czcionki.
Możesz dodać następujące do ~/.Xresourcespliku 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