Je voudrais configurer gnome-terminal pour démarrer avec une fenêtre plus grande 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 à partir de wmctrl )
Vous pouvez modifier le profil «par défaut» du terminal Gnome en allant dans le menu global, option Édition / Préférences dans laquelle vous pouvez activer «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 fois que vous ouvrirez un terminal.
Bonne chance!