Czy istnieje polecenie terminalu, które zmienia wymiary okna terminalu?

Lubię mieć mały terminal do małych rzeczy (80 x 24) i duży terminal do edycji kodu w vimie i podobnych (120 x 38), a czasem nawet na pełnym ekranie, przeglądając ascci art? Nie wiem.

Czy jest jakieś polecenie terminalu, którego można używać do przełączania rozmiarów okien w moim terminalu?

command-line bash

— Costa
źródło

Odpowiedzi:

Tak. resize -s <rows> <columns>współpracuje z domyślną aplikacją terminalową Ubuntu ( gnome-terminal).

Jak zmienić rozmiar terminala do momentu zakończenia programu

Aby uzyskać dobry efekt, powiedzmy, vimw oknie o specjalnie dobranym rozmiarze tylko podczas działania:

mkdir ~/bin
~/.profiledomyślnie dodaje ~/bindo PATH; Na razie możesz samodzielnie source ~/.profilezadeklarować nowy PATH:export PATH="$PATH":~/bin
vim ~/bin/vim

Dodaj następujące:

#!/bin/bash

source <(/usr/bin/resize -s)
/usr/bin/resize -s 38 120
/usr/bin/vim "$@"
/usr/bin/resize -s $LINES $COLUMNS

Zapisać
chmod +x ~/bin/vim

Teraz vimbędzie działać w rozmiarze 120 × 38, a zmiana rozmiaru zostanie cofnięta po vimzakończeniu.

— Chai T. Rex
źródło

Rządzisz! :) Czy można również uruchomić to polecenie z poziomu vima? Próbowałem, !resize -s 38 120ale to nie zadziałało, dopóki nie zmieniłem flagi vim w moim .vimrc, ale to sprawiło, że wszystko się dusiło i robiłem dziwne rzeczy graficzne.

— Costa

Podejrzewam, że mogę Ctrl + Z i przełączać, a następnie fgwrócić do vima:)

— Costa

OK, dodałem vimkrótką sekcję, w jaki sposób uzyskać, powiedzmy, używając terminala tego samego rozmiaru, a następnie odrejestrować go po wyjściu vim.

— Chai T. Rex,

To nie działa, gdy gnome-terminaljest zmaksymalizowane lub przyciągnięte do boku / rogu. Używam 14.04.

— wjandrea,

W Vimie możesz :set lines=38 columns=120.

— Ingo Karkat

W Ubuntu 16.10 (i może także w starszych wersjach), jeśli otworzysz okno terminala i przejdziesz do Terminalmenu, możesz bezpośrednio wybrać alternatywne rozmiary okien. W rzeczywistości prawie dokładnie te rozmiary, o które prosisz!

Również, F11przełącza tryb pełnoekranowy.

Możesz także utworzyć wiele profili, które ustawią ekran dokładnie tak, jak chcesz. Przejdź do Filemenu i wybierz New Profile... nazwij go „Mój profil edycji”. Następnie, jeśli chcesz przejść do innego profilu, przejdź do Terminalmenu i wybierz Change Profile. Następnie przejdź do Editmenu i wybierz Profile Perferences. Ustaw tam swój niestandardowy rozmiar ekranu. Różne profile, każdy o różnych rozmiarach ekranu!

— heynnema
źródło

Jestem raczej facetem od klawiatury z rzędu w domu :) Ale to jest fajne, dzięki !!!

— Costa