Changer le titre d'un terminal - Codes et scripts - Linux et OS Alternatifs
MarshPosté 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. *
--------------- * La vitesse de la lumière étant supérieure à celle du son, certaines personnes paraissent brillantes jusqu'à ce qu'elles ouvrent leur gueule. *
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. *