bash: ignoreeof