Jak mogę na stałe zmienić rozmiar tekstu dla gnome-terminal?

14

Chciałem tylko zapytać...

Wydaje się, że musisz nacisnąć Ctrl+ -(ctrl plus znak minus), aby uzyskać lepszą rozdzielczość (mniejszy tekst) podczas uruchamiania terminalu.

Ale zastanawiałem się, czy istnieje sposób, aby zachować ustawienia w ten sposób, aby przy każdym uruchomieniu terminalu działał już w wyższej rozdzielczości?

11.04 command-line gnome-terminal

— Mroczny Templariusz
źródło

18

Możesz ręcznie ustawić rozmiar tekstu w terminalu poprzez:

otwarcie terminalu
Edytuj -> Preferencje profilu
wybierz czcionkę niestandardową (lub odznacz opcję Użyj systemowej czcionki o stałej szerokości w starszych wersjach)
Wybierz czcionkę i rozmiar

Możesz także wybrać rozmiar terminala, wybierając opcję Użyj niestandardowego domyślnego rozmiaru terminala i ustawiając liczbę wierszy i kolumn.

— Danjjl
źródło

Właśnie to robię, aby uzyskać go na stałe.

— Luis Alvarado,

1

Nie widzę opcji „ Użyj systemowej czcionki o stałej szerokości ” w 16.04?

— rudolph9

@ rudolph9 zredagował odpowiedź, aby powiedzieć „Wybierz niestandardową czcionkę”, jak to mówi w mojej wersji (zamiast „użyj systemowej stałej czcionki

— wdth

4

Możesz spróbować wywołać za gnome-terminalpomocą parametru --zoom, np .:

gnome-terminal --zoom=0.8 w celu pomniejszenia o 20% (80% oryginalnego rozmiaru)

Ograniczoną dokumentację tego parametru można znaleźć po uruchomieniu

gnome-terminal --help-all

Możesz grać trochę z różnymi rozmiarami powiększenia, aby znaleźć odpowiedni, a następnie odpowiednio edytować skróty.

— Pavlos G.
źródło