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

10

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:

12

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:

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

  4. 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

  5. Zapisać

  6. 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
1
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
2
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
4

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
2
Jestem raczej facetem od klawiatury z rzędu w domu :) Ale to jest fajne, dzięki !!!
Costa