Existe-t-il une commande de terminal qui modifie les dimensions de la fenêtre du terminal?

J'aime avoir un petit terminal pour les petites choses (80 x 24), et un grand terminal pour éditer le code dans vim et autres (120 x 38), et parfois même aller en plein écran, en parcourant l'art ascci? Je ne sais pas.

Quoi qu'il en soit, existe-t-il une commande de terminal que je peux utiliser pour basculer entre les tailles de fenêtre de mon terminal?

command-line bash

— Costa
source

Réponses:

Oui. resize -s <rows> <columns>fonctionne avec l'application de terminal par défaut d'Ubuntu ( gnome-terminal).

Comment redimensionner le terminal jusqu'à la fin d'un programme

Pour obtenir un bel effet d'avoir, disons, vimdans une fenêtre de taille spéciale uniquement lorsqu'elle est en cours d'exécution:

mkdir ~/bin
~/.profilepar défaut ajoute ~/binau PATH; Pour l'instant, vous pouvez soit source ~/.profiledéclarer le nouveau PATHvous-même:export PATH="$PATH":~/bin
vim ~/bin/vim

Ajoutez ce qui suit:

#!/bin/bash

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

sauver
chmod +x ~/bin/vim

Maintenant vims'exécutera à la taille 120 × 38 et le redimensionnement sera annulé une fois vimterminé.

— Chai T. Rex
source

Tu gères! :) Est-il possible de faire fonctionner cette commande depuis vim également? J'ai essayé, !resize -s 38 120mais cela n'a pas fonctionné, jusqu'à ce que je change un indicateur vim dans mon .vimrc, mais cela a étouffé le tout et fait des choses graphiques étranges.

— Costa

Je suppose que je peux ctrl + z, et basculer, puis fgrevenir à vim :)

— Costa

OK, j'ai ajouté une petite section sur comment obtenir, disons, en vimutilisant le même terminal de taille et puis le redimensionner après avoir quitté vim.

— Chai T. Rex

Cela ne semble pas fonctionner lorsqu'il gnome-terminalest maximisé ou accroché à un côté / coin. J'utilise 14.04.

— wjandrea

À Vim, vous le pouvez :set lines=38 columns=120.

— Ingo Karkat

Dans Ubuntu 16.10 (et peut-être aussi les versions plus anciennes), si vous ouvrez une fenêtre de terminal et accédez au Terminalmenu, vous pouvez sélectionner directement d'autres tailles de fenêtre. En fait, presque exactement les tailles que vous demandez!

En outre, F11basculera le mode plein écran.

Vous pouvez également créer plusieurs profils qui définissent l'écran à la ou aux tailles souhaitées. Allez dans le Filemenu et choisissez New Profile... appelez-le "Mon profil d'édition". Ensuite, lorsque vous souhaitez passer à un autre profil, allez dans le Terminalmenu et choisissez Change Profile. Ensuite, allez dans le Editmenu et choisissez Profile Perferences. Définissez votre taille d'écran personnalisée. Différents profils, chacun avec différentes tailles d'écran!

— heynnema
source

Je suis plutôt un gars du clavier de la maison:) C'est cool, merci !!!

— Costa