On Mon, 26 Nov 2012 15:03:35 +0100, Davide Brini <dave...@gmx.com> wrote:
> On Mon, 26 Nov 2012 05:40:09 -0800 (PST), chupin...@gmail.com wrote: > > > > It changed between bash 3.1 and 3.2, documented in the NEWS file. > > > There is > > > > > > a "compat31" option that can be turned on to restore the 3.1 behavior. > > > > > > > As you see it works for me in 3.25 > > Then maybe you have the compat31 option set (or your distro sets it for > you), or you may have a patched, non-vanilla version of bash (redhat is > well known for doing this). > And indeed: https://groups.google.com/forum/?fromgroups=#!topic/gnu.bash.bug/hq7mAJQB31s -- D.
