On Mon, Jun 1, 2020 at 6:05 AM Chet Ramey <chet.ra...@case.edu> wrote:
> On 5/29/20 2:50 PM, Keith Thompson wrote: > > >> Can you try this with the current devel branch head from savannah? I > >> have a suspicion about what's going on. > >> > >> http://git.savannah.gnu.org/cgit/bash.git/snapshot/bash-devel.tar.gz > > > > This did not reproduce the bug. > > > > $ ./bash --version > > GNU bash, version 5.1.0(1)-alpha (x86_64-pc-linux-gnu) > > Copyright (C) 2020 Free Software Foundation, Inc. > > License GPLv3+: GNU GPL version 3 or later < > http://gnu.org/licenses/gpl.html> > > > > This is free software; you are free to change and redistribute it. > > There is NO WARRANTY, to the extent permitted by law. > > $ ./bash -c 'echo ~nosuchuser' > > ~nosuchuser > > $ > > OK, that's half of it. > > If you have a chance, can you verify that the problem exists with the > bash-20200520 push? > > > http://git.savannah.gnu.org/cgit/bash.git/snapshot/bash-ce1a3c07c4e17ed176edccd75892dfcf8242de60.tar.gz > > Confirmed, the problem does exist with that version.
