Re: Ctrl-d = fin de bash

[Vincent Lefevre <vincent@vinc17.org>]

On Wed, Jun 25, 2003 at 14:28:05 +0200, Pierre Crescenzo wrote:
> [woody] J'aimerais empêcher bash de se fermer sur un Ctrl-d. Il me
> semble qu'une option permet d'indiquer un tel comportement mais je ne la
> retrouve pas.

man bash + recherche de EOF. :)

       IGNOREEOF
              Controls the action of an interactive shell on receipt of an EOF
              character as the sole input.  If set, the value is the number of
              consecutive  EOF  characters  which  must  be typed as the first
              characters on an input line before bash exits.  If the  variable
              exists  but  does not have a numeric value, or has no value, the
              default value is 10.  If it does not exist,  EOF  signifies  the
              end of input to the shell.

-- 
Vincent Lefèvre <vincent@vinc17.org> - Web: <http://www.vinc17.org/> - 100%
validated HTML - Acorn Risc PC, Yellow Pig 17, Championnat International des
Jeux Mathématiques et Logiques, TETRHEX, etc.
Work: CR INRIA - computer arithmetic / SPACES project at LORIA