$IGNOREEOF
–
Control how the shell treats EOF
$IGNOREEOF controls what an interactive shell does when the only EOF is entered.
Control + D inputs the EOF character.
Links
Examples
- Ignore the first EOF to avoid accidental logouts:
1IGNOREEOF=1
BashSupport Pro ist eine Bash IDE mit Unterstützung für $IGNOREEOF – probieren Sie es aus!