C'est super. Merci.
Cependant, étant donné que le script éxécute dans un sous-shell (même si je le 'source'), si je dis "non", `exit` ne permet plus de quitter la console...
ah ! ha ha ha... ! <rires hytériques />
donc, pour l'instant j'en suis là :
[...]
non) clear
sudo kill -s TERM $(pgrep -u root login -t tty1) #il y a, entre autres, une condition sur tty = tty1 au début du script.
;;
[...]
mais ça provoque une 'segfault' du `clear_console` venant de .bash_logout.
Alors je l'ai enlevé.
Mais ça me laisse à penser que le `kill` est sans doute trop violent, et que donc il doit y avoir un moyen plus doux...
En plus, devoir sudo-er juste pour quitter la console, c'est lourd.
Quelle autre solution que `kill`...
?
Poste le Monday 15 September 2008 11:08:06