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

Odpowiedzi:

18

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

  1. otwarcie terminalu
  2. Edytuj -> Preferencje profilu
  3. wybierz czcionkę niestandardową (lub odznacz opcję Użyj systemowej czcionki o stałej szerokości w starszych wersjach)
  4. 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