Pigeon wrote: > Karsten M. Self wrote: > > echo "set ignoreeof" >> ~/.bashrc Oops! This would probably be what was intended. set -o ignoreeof I am beginning to prefer the newer 'shopt' syntax. shopt -s -o ignoreeof > Cool! (tries it) Oh, it doesn't work (messes about) Ah, > s/set ignoreeof/export IGNOREEOF=/ More clear to say explicitly a number there. If not set to a value the default value is 10 eofs to ignore before really logging out. (Must be a some value or 'bash < /dev/null' would be an infinite loop. Been there, done that, want to avoid doing it again.) Bob
Attachment:
pgpxBRyVsezqv.pgp
Description: PGP signature