Je voudrais configurer gnome-terminal pour commencer avec une plus grande fenêtre par défaut. Comment fait-on ça?
man gnome-terminal
révèle que c'est ainsi:
gnome-terminal --geometry=20x20
Ce qui précède créera une fenêtre 20x20 (mesurée en caractères, voir Spécification de la géométrie des fenêtres X dans les coordonnées obtenues de wmctrl )
Vous pouvez éditer le profil "par défaut" du terminal Gnome en allant dans le menu général, option Edition/Préférences dans laquelle vous pouvez activer la "Utiliser la taille de terminal par défaut personnalisée" et définir la taille des colonnes et des lignes par défaut comme indiqué dans la capture d'écran suivante. :
Toutes les modifications que vous apportez à votre profil par défaut prendront effet à la prochaine ouverture d'un terminal.
Bonne chance!