Voilà un problème que je n’avais pas eu depuis fort longtemps vu que j’utilisais des distributions basées sur Ubuntu ces derniers temps. Ceux ci ont corrigé le problème que je vais traiter dans les options par défauts des profils de terminaux.
La taille de base d’un terminal sur un OS me parait toujours trop petite. Le fait que l’écran de mon ordinateur portable soit full HD doit y jouer mais c’est un inconfort réel. Aussi, plutôt que de redimensionner à la main la taille de la fenêtre à chaque lancement, il est possible de préciser au terminal une taille favorite. Deux cas sont possibles :
- Vous êtes sur une distribution dont l’option est présente d’origine dans les paramètres du profil et vous n’avez qu’à l’activer avec votre taille favorite
- Vous modifiez le lanceur du terminal afin de rajouter l’option –geometry=CCxLL à la fin où CC représente le nombre de colonnes et LL le nombre de lignes
Le terminal se lancera ainsi systématiquement avec votre taille favorite sans avoir à le retoucher.