Comment changer le titre d'un terminal avec une ligne de commande.
j'avais vu un truc du style :
echo -ne "\033]0:le_nom\007"
mais ça n'a pas l'air de marcher
---------------
* La vitesse de la lumière étant supérieure à celle du son, certaines personnes paraissent brillantes jusqu'à ce qu'elles ouvrent leur gueule. *
Publicité
Posté le 18-07-2003 à 14:31:10
minusplus
Posté le 18-07-2003 à 14:33:20
man console_codes
FlamM
comme tarte flambée bien sûr !
Posté le 18-07-2003 à 14:51:56
satanée faute de frappe
le commande correcte est :
echo -ne "\033]0;le_nom\007"
enore une fois merci -+
---------------
* La vitesse de la lumière étant supérieure à celle du son, certaines personnes paraissent brillantes jusqu'à ce qu'elles ouvrent leur gueule. *
