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