Discussion :

[Filippo]

bonjour,
quelle commande permet de changer la couleur de l'éditeur sous ksh ?
Merci.

[MarcG]

jamais vu cette possibilité sous KSH

[Filippo]

Sous différents comptes, le fond est d'une couleur différente. Il y en a un dont les caractères sont peu visibles et j'aurais voulu changer la couleur du fond.

[Smortex]

Bonjour

La solution serait de modifier un fichier de configuration pour changer la couleur en faisant executer

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

echo '^[[31m'

... lors de l'unitialisation (le ^[ est obtenu en faisant <C-v>, <ESC> (Control V echap)). On doit pouvoir faire infiniement plus propre en changeant le prompt (en supposant que ce soit la variable $PROMPT... a verifier dans man ksh) :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

setenv PROMPT '^[[32m%'

Regarde aussi dans les fichiers de conf des utilisateurs qui ont cet effet...

[Filippo]

Smortex