Il sait qu'il est possible de passer les arguments --geometry=WxH
lors de l'utilisation du programme de lancement, mais comment définir cette option avec le fichier ~/.bashrc
.
Vous devez installer le package wmctrl
. Ajoutez ensuite ceci à votre fichier ~/.bashrc:
HORIZONTAL=600
VERTICAL=400
wmctrl -r ":ACTIVE:" -e 0,-1,-1,${HORIZONTAL},${VERTICAL}
Il redimensionnera votre fenêtre active (devrait être le terminal), à la taille spécifiée par les variables ${HORIZONTAL}
et ${VERTICAL}
. Notez que ceux-ci sont mesurés en pixels. Vous pouvez définir la géométrie de votre terminal à votre guise, puis utiliser le package screenruler
pour mesurer les dimensions en pixels.
J'espère que cela t'aides :)
EDIT: En fait, vous pouvez lancer ceci pour montrer la taille de tous les gnome-terminal
qui sont ouverts:
wmctrl -l -x -G | grep gnome-terminal.Gnome-terminal | awk '{ print "Horizontal: "$5" pixels; Vertical: "$6" pixels" }'
Vous pouvez mettre la commande suivante dans votre fichier .bash_profile
.
gnome-terminal --geometry=WIDTHxHEIGHT+XPOS+YPOS
Dans lequel:
WIDTH
est la largeur en caractères
HEIGHT
est la hauteur en rangées
XPOS
est la position X en pixels
YPOS
est la position Y en pixels
Notez qu'un x
sépare WIDTH de HEIGHT. Un +
sépare la HAUTEUR de XPOS. Un autre +
sépare XPOS de YPOS.