Changer le titre d'un terminal

Changer le titre d'un terminal - Codes et scripts - Linux et OS Alternatifs

Marsh Posté le 18-07-2003 à 14:31:10    

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. *
Reply

Marsh Posté le 18-07-2003 à 14:31:10   

Reply

Marsh Posté le 18-07-2003 à 14:33:20    

man console_codes

Reply

Marsh 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. *
Reply

Sujets relatifs:

Leave a Replay

Make sure you enter the(*)required information where indicate.HTML code is not allowed