Jak zmusić terminale do uzyskania co najmniej określonego rozmiaru?

Chciałbym zapobiec, aby którykolwiek z moich terminali Terminator był mniejszy niż 80x24. Oznacza to, że nie będę mógł zmienić rozmiaru terminala poniżej tego rozmiaru, a gdybym próbował podzielić terminal, który byłby zbyt mały, albo istniejące terminale zostałyby zmniejszone, aby pasowały, lub terminale nadrzędne i podrzędne zostałyby przeniesione do nowe okno.

W razie potrzeby jestem gotów zmienić programy terminalowe, chociaż lepsze jest kafelkowanie takie jak Terminator.

Aby osiągnąć to, co chcesz, musisz edytować kod źródłowy gnome-terminali samodzielnie go odbudować, ponieważ minimalny rozmiar okna jest zakodowany na stałe w aplikacji terminala. Aby to zrobić, wykonaj następujące kroki.

Najpierw przejdź do https://launchpad.net/ubuntu/+source/gnome-terminal/3.6.1-0ubuntu4 i pobierz pliki źródłowe (plik to gnome-terminal_3.6.1.orig.tar.xz). Pobierz to do swojego ~/Downloadsfolderu.

Następnie otwórz terminal i wpisz następujące polecenia:

cd ~/Downloads

tar -xJf gnome-terminal_3.6.1.orig.tar.xz

Spowoduje to wyodrębnienie źródła. Teraz otwórz swój ulubiony edytor tekstu i edytuj plik ~/Downloads/gnome-terminal-3.6.1/src/terminal-window.c. Przejdź do linii 3107, gdzie znajdziesz zmienne MIN_WIDTH_CHARSi MIN_HEIGHT_CHARS. Edytuj je, są to minimalna wysokość i szerokość okna terminala wyrażona w znakach (tzn. Wartość MIN_WIDTH_CHARS20 oznacza, że ​​nie można już zmienić rozmiaru okna do szerokości poniżej 20 znaków)

Następnie, aby zbudować, w typie terminala cd ~/Downloads/gnome-terminal-3.6.1. Następnie uruchom, ./configureaby wygenerować plik makefile (jeśli narzeka na brakujące pakiety, zainstaluj je za pomocą apt-get(np. Jeśli mówi „pakiet foonie został znaleziony” lub podobny, użyj sudo apt-get install foo). Możesz także spróbować zainstalować auto-apti używać sudo auto-apt run ./configure(spowoduje to próbę zainstalowania wszystkich zależności ), ale kiedy wypróbowałem to, nie do końca wszystko wyłapało ( ./configurepotem uruchom standard ). Może to wymagać kilku prób, w zależności od liczby brakujących pakietów.

Po wygenerowaniu plików makefile po prostu wpisz make, a następnie sudo make install. To powinno odbudować program terminalowy. Zamknij wszystkie okna terminala, a następnie następne, które uruchomisz, będzie przestrzegało minimalnego rozmiaru ustawionego w źródle (tj. Nie zmieni rozmiaru poniżej zdefiniowanych tam wartości).

1. Naciśnij klawisz super, aby otworzyć obiektyw wyszukiwania i poszukaj: menu głównego
2. Po uruchomieniu aplikacji „ Menu główne ” wybierz „ Akcesoria ” w lewym menu, a następnie „ Terminal ” w drugim menu.
3. Po wybraniu opcji „ Terminal ” naciśnij przycisk „ Właściwości ” po prawej stronie. Otworzy się nowe okno z właściwościami programu uruchamiającego terminal.

4. Przejdź do wpisu „ Command ” i dodaj go na końcu wpisu:

   --geometry=132x24
   

   Gotowy wpis powinien być:

   gnome-terminal --geometry=132x24
   

Otóż ​​to. Zamknij okna, a przy następnym uruchomieniu terminalu zmieni się rozmiar okna. Może być konieczne wylogowanie i ponowne zalogowanie, aby działać poprawnie.

(132x24 to tylko przykład, możesz użyć dowolnej rozdzielczości)

O ile wiem, nie możesz, rozdzielczość okna terminala zależy od proporcji znaków ... Więc jeśli zmienisz rozmiar czcionki, okno terminalu zmieni rozmiar, aby dopasować proporcję ta czcionka ...

Na początku brzmi to trochę głupio, ale biorąc pod uwagę, że terminal po prostu wyświetla tylko znaki tekstowe, ma sens, że jeśli okno ma rozmiar w pikselach, często kończy się to marnotrawstwem miejsca, gdy rozmiar okna nie jest dokładnie dopasuj granicę znaków ...

Jeśli korzystasz ze starszej wersji Ubuntu, w oknie prawym przyciskiem myszy -> okno właściwości, pierwsza karta ma dwa pola, w których możesz edytować wiersze i kolumny terminala.

W przeciwnym razie możesz użyć polecenia wejściowego, o którym mowa w odpowiedzi 1.

--geometry=132x24

Mała sztuczka dotycząca domyślnego rozmiaru była tutaj tematem . Tam użytkownik wicehrabia rozwiązał go, tworząc skrypt i umieszczając go w / usr / bin / gnome-terminal w ten sposób (zakładam, że używasz gnome jako menedżera okien):

#!/bin/sh
gnome-terminal --geometry=132x24

Możesz także kliknąć prawym przyciskiem myszy ikonę terminalu gnome na pasku zadań, wybrać właściwości, a następnie zmienić tam polecenie na inne polecenie, takie jak:

gnome-terminal --working-directory=%f --geometry=132x24

W ten sposób masz swój własny domyślny rozmiar.

Spójrz tutaj:

Zmień domyślną szerokość okna terminala i terminatora gnome

Mam nadzieję, że to pomaga.