Page 1 sur 2
Comment changer la taille par défaut du Terminal ?
Posté : jeu. 27 févr. 2020 17:35
par MichtoMint
J'aimerais savoir s'il était possible ce changer la taille par défaut (80*24) du terminal sur Mint ?
Je sais qu'on peux la changer via l'onglet "terminal" mais malheureusement ce n'est pas permanent
IL doit bien y avoir une ligne de commande pour effectuer cela ?
Merci d'avance pour vos réponses
Re: Comment changer la taille par défaut du Terminal ?
Posté : jeu. 27 févr. 2020 22:24
par zeb
Bonjour,
Tu as essayé de modifier les préférences du profil ?
Re: Comment changer la taille par défaut du Terminal ?
Posté : jeu. 27 févr. 2020 22:54
par MichtoMint
Bonjour
J'ai essayé de chercher un peu partout dans les paramètres mais je n'ai rien trouvé
Re: Comment changer la taille par défaut du Terminal ?
Posté : jeu. 27 févr. 2020 22:59
par arghlub
Salut,
Dans Cinnamon je ne sais pas trop (j'suis pas sous cinnamon) ...
Dans XFCE, il suffit d'éditer le fichier "~/.config/xfce4/terminal/terminalrc" et de changer la ligne :
Je ne veux pas de polémique XFCE vs Cinnamon (je m'en bat l'œuf), c'est juste une piste.
Re: Comment changer la taille par défaut du Terminal ?
Posté : jeu. 27 févr. 2020 23:11
par zeb
Sous xfce, il me semble que cinnamon c'est pareil
On voit qu'il est possible de modifier la taille, tu as essayé ?
Re: Comment changer la taille par défaut du Terminal ?
Posté : jeu. 27 févr. 2020 23:13
par MichtoMint
arghlub a écrit : jeu. 27 févr. 2020 22:59
Salut,
Dans Cinnamon je ne sais pas trop (j'suis pas sous cinnamon) ...
Dans XFCE, il suffit d'éditer le fichier "~/.config/xfce4/terminal/terminalrc" et de changer la ligne :
Je ne veux pas de polémique XFCE vs Cinnamon (je m'en bat l'œuf), c'est juste une piste.
Merci !
Effectivement c'était une bonne piste
j'ai réussi à trouver le fichier "/etc/xdg/xdg-default/Terminal/terminalrc"
Mais que changer ? lol
Code : Tout sélectionner
[Configuration]
FontName=Monospace 10
MiscAlwaysShowTabs=FALSE
MiscBell=FALSE
MiscBordersDefault=TRUE
MiscMenubarDefault=TRUE
MiscToolbarsDefault=FALSE
BackgroundMode=TERMINAL_BACKGROUND_TRANSPARENT
BackgroundDarkness=0.980000
ColorBackground=#3c953c953c95
ColorPalette=#000000;#cc0000;#4e9a06;#c4a000;#3465a4;#75507b;#06989a;#d3d7cf;#5$
ColorCursor=#867f81c281c2
Re: Comment changer la taille par défaut du Terminal ?
Posté : jeu. 27 févr. 2020 23:16
par MichtoMint
zeb a écrit : jeu. 27 févr. 2020 23:11
Sous xfce, il me semble que cinnamon c'est pareil
On voit qu'il est possible de modifier la taille, tu as essayé ?
En effet c'est encore mieux comme ça !
tellement simple et je n'ai même pas réussi à trouver
Merci
Re: Comment changer la taille par défaut du Terminal ?
Posté : jeu. 27 févr. 2020 23:19
par MichtoMint
Merci à
Zeb et à
arghlub
Je passe en résolu !
Re: Comment changer la taille par défaut du Terminal ?
Posté : jeu. 27 févr. 2020 23:21
par zeb
Pense au résolu.
Arghlub voulait sans doute de dire d'ajouter la ligne qu'il t'a donné dans le fichier.
Re: Comment changer la taille par défaut du Terminal ?
Posté : jeu. 27 févr. 2020 23:26
par MichtoMint
zeb a écrit : jeu. 27 févr. 2020 23:21
Pense au résolu.
Arghlub voulait sans doute de dire d'ajouter la ligne qu'il t'a donné dans le fichier.
C'est passé en résolu
Oui je viens seulement de comprendre
J'ai choisi la manière la plus simple