Re: Ctrl-d = fin de bash
* Grégory SIMON <greg.simon@laposte.net> [2003-07-16 16:12] :
> On Wed, 2003-07-16 at 15:09, Pierre Crescenzo wrote:
> > Bonjour,
>
> Bonjour,
>
> > Grégory Simon me demande de transmettre ici sa réponse. C'est fait
> > ci-dessous.
>
> Merci Pierre.
>
> J'en profite pour poser une question...
>
> Au bout du 11ème ctrl-D mon terminal se ferme quand même...
>
> Une explication ?
Oui, Daniel a déjà répondu : le "set -o ignoreeof" fait la même chose
qu'un IGNOREEOF=10 (ou aussi qu'un IGNOREEOF=toto, d'ailleurs). Si tu ne
veux pas de ce comportement, tu peux mettre IGNOREEOF à une valeur très
élevée.
Fred
--
Comment poser les questions de manière intelligente ?
http://www.gnurou.org/documents/smart-questions-fr.html
Code de conduite des listes Debian
http://www.fr.debian.org/MailingLists/#codeofconduct
Reply to: