[gull] truc et astuce: Jouer avec xterm.

[Pierre Maitre]

Félix Hauri wrote:

>Soit une séquence pour changer le titre de la console à la volée:
>``Esc];Titre de la console\007''
>  
>
J'ai réussi à changer de titre de console avec
echo "\E];Titre de la console\007"
mais sans le "echo", rien ne se passe. Est-ce un problème de quotes?
Question subsidiaire: qu'est sensé faire le /007  (bell). Sonner un bip 
lorsque l'on change de titre? Chez moi, pas de beep.

>Enfin, pour le menu (Essayez avec copier-coller, dans un xterm):
>
> echo -e "\E]50;$(
>    echo -e \\033]\;Changement de police\\007 >/dev/tty;
>    dialog --menu "Choisis une police" $(($(tput lines)-3)) \
>            $(($(tput cols)-4)) $(($(tput lines)-10)) $(
>        xlsfonts |
>        grep "\(fixed\|typewriter\|courier\).*-\(\|sans\)-[1-9].*8859-1"|
>        sed -e s/$/\ ./
>        ) 2>&1
>    )\007"
>  
>
ça c'est du grand art! Chapeau.

Pierre Maitre

-- 
Dr Pierre-O. Maitre
Privat Docent
FMH Anesthésiologie
FMH Pharmacologie Clinique
Cabinet médical / A la Joy
CH-1272 Genolier Switzerland