On 5/10/13 1:12 PM, Martin Szummer wrote:
> Bash Version: 4.2
> Patch Level: 45
> Release Status: release
>
> Description:
> 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
From: mo...@cam.ac.uk
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 out
