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 <[EMAIL PROTECTED]> - 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
