Personnalisation terminal
Résolu/Fermé
A voir également:
- Personnalisation terminal
- Commande terminal mac - Guide
- Commande terminal windows - Guide
- Police terminal - Forum Shell
- Lancer un programme python depuis le terminal linux - Forum Ubuntu
- Terminal fret shein - Forum Consommation & Internet
7 réponses
jipicy
Messages postés
40842
Date d'inscription
jeudi 28 août 2003
Statut
Modérateur
Dernière intervention
10 août 2020
4 897
14 nov. 2007 à 12:07
14 nov. 2007 à 12:07
Salut,
Quel type de terminal, sous quel environnement ?
Quel type de terminal, sous quel environnement ?
Bonjour,
arf la je suis au taf donc je ne l'ai pas sous les yeux.mais il me semble que j'ai deja fouillé par là.
je pensais qu'il y'avait un fichier.conf.
je reesaierai ce soir de voir s'il y'a un menu preferences
merci
arf la je suis au taf donc je ne l'ai pas sous les yeux.mais il me semble que j'ai deja fouillé par là.
je pensais qu'il y'avait un fichier.conf.
je reesaierai ce soir de voir s'il y'a un menu preferences
merci
Bonjour,
j'ai jeté un oeil mais je n'ai pas de menu preferences.
y'a fichier, edition,affichage, terminal.
et dans affichage y'a plein ecran, zoom etc...
j'ai jeté un oeil mais je n'ai pas de menu preferences.
y'a fichier, edition,affichage, terminal.
et dans affichage y'a plein ecran, zoom etc...
jipicy
Messages postés
40842
Date d'inscription
jeudi 28 août 2003
Statut
Modérateur
Dernière intervention
10 août 2020
4 897
15 nov. 2007 à 10:26
15 nov. 2007 à 10:26
Re-
Edition => Profils => Défault => Edition => Couleurs et/ou Effets
Edition => Profils => Défault => Edition => Couleurs et/ou Effets
Vous n’avez pas trouvé la réponse que vous recherchez ?
Posez votre question
jipicy
Messages postés
40842
Date d'inscription
jeudi 28 août 2003
Statut
Modérateur
Dernière intervention
10 août 2020
4 897
16 nov. 2007 à 10:25
16 nov. 2007 à 10:25
De rien ;-))
14 nov. 2007 à 12:35
hum...
comment ca quel type de terminal??
sous gnome, mais le type je ne sais pas
14 nov. 2007 à 13:33
aterm ? xterm ? eterm ? konsole ? gnome-terminal ? etc.
sous gnome
Ok, donc ce doit être "gnome-terminal". Regarde dans les préférences du terminal, tu dois avoir des options pour régler ça.
4 déc. 2011 à 14:38