[gull] truc et astuce: Jouer avec xterm.

[Félix Hauri]

Attention l'une des raisons pour lesquelles je préfère le bon vieux
``xterm'' aux autres émulation est que les commandes suivantes ne
fonctionnent pas sur tous!

Soit une séquence pour changer le titre de la console à la volée:
``Esc];Titre de la console\007''

et une autre pour changer la police utilisée:
``Esc]50;nom de la police\007''
(Nota: le ``007'' s'appèle aussi ``bell'' ou beep)

Puis des outils comme ``dialog'', ``tput'', ``xlsfonts'' font le reste...

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"

--
 Félix Hauri  -  <felix at f-hauri.ch>  -  http://www.f-hauri.ch