J'aime avoir un petit terminal pour les petites choses (80 x 24), et un gros terminal pour l'édition de code dans vim et autres (120 x 38), et parfois même en plein écran, en parcourant ascci art? Je ne sais pas.
Quoi qu'il en soit, y a-t-il une commande de terminal que je peux utiliser pour changer la taille des fenêtres de mon terminal?
Oui. resize -s <rows> <columns>
fonctionne avec l'application de terminal par défaut d'Ubuntu (gnome-terminal
).
Pour obtenir un bel effet d’avoir, par exemple, vim
dans une fenêtre de taille spéciale uniquement pendant son exécution:
mkdir ~/bin
~/.profile
ajoute par défaut ~/bin
au PATH
; Pour l'instant, vous pouvez soit source ~/.profile
ou déclarer le nouveau PATH
vous-même: export PATH="$PATH":~/bin
vim ~/bin/vim
Ajouter 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
Sauvegarder
chmod +x ~/bin/vim
Maintenant, vim
sera exécuté à la taille 120 × 38 et le redimensionnement sera annulé lorsque vim
sera terminé.
Dans Ubuntu 16.10 (et peut-être aussi dans les anciennes versions), si vous ouvrez une fenêtre de terminal et accédez au menu Terminal
, vous pouvez directement sélectionner une autre taille de fenêtre. En fait, presque exactement les tailles que vous demandez!
De plus, F11
basculera en mode plein écran.
Vous pouvez également créer plusieurs profils qui définissent l'écran avec la taille souhaitée. Allez au menu File
et choisissez New Profile
... appelez-le "Mon profil de montage". Ensuite, lorsque vous souhaitez changer de profil, accédez au menu Terminal
et choisissez Change Profile
. Accédez ensuite au menu Edit
et choisissez Profile Perferences
. Définissez votre taille d'écran personnalisée à cet endroit. Différents profils, chacun avec différentes tailles d'écran!