[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Ctrl-D exits unexpectedly

From: Martin Szummer
Subject: Ctrl-D exits unexpectedly
Date: Fri, 10 May 2013 18:12:29 +0100
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130404 Thunderbird/17.0.5

From: address@hidden

Subject: [50 character or so descriptive subject here (for reference)]

Configuration Information [Automatically generated, do not change]:
Machine: x86_64
OS: linux-gnu
Compiler: gcc
Compilation CFLAGS: -DPROGRAM='bash' -DCONF_HOSTTYPE='x86_64' -DCONF_OSTYPE='l$ uname output: Linux krakow 3.8.0-19-generic #30-Ubuntu SMP Wed May 1 16:35:23 U$
Machine Type: x86_64-pc-linux-gnu

Bash Version: 4.2
Patch Level: 45
Release Status: release

The IGNOREEOF behavior changed in Bash 4.2 (in Ubuntu 13.04) compared to bash in Ubuntu 12.10.

I used to have in my .bashrc
set -o ignoreeof
export IGNOREEOF=10
and in this case, Ctrl-D would never exit the shell, even if pressed more than 10 times.

In the newer Bash 4.2 (patch 45), it *does* exit the shell after 10 Ctrl-D.
The bug is that set -o ignoreeof does not have an effect.
Even after unsetting IGNOREEOF, the shell exits. The set -o ignoreeof by itself does not make the shell ignore EOF; the only way seems to be to set IGNOREEOF to a very large number.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]