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?

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:

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

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

5. sauver

6. chmod +x ~/bin/vim

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

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!