Thorsten Glaser: > Ximin Luo dixit: > >> bugs-gnulib, do you see any issue with this patch? The context is that > > [..] > > $CONFIG_SHELL should stay the ultimate instance. Users absolutely MUST > be able to override not-working-but-recognised-as-good-enough system > shells like /bin/sh with this variable, to get things working even in > the presence of known bugs. >
Hi, I'm not sure if you understood what was being discussed. How does my proposed patch affect your scenario? This is not about CONFIG_SHELL, but about POSIX_SHELL. Could you give a concrete example or situation, which my patch will cause to fail? X -- GPG: ed25519/56034877E1F87C35 GPG: rsa4096/1318EFAC5FBBDBCE git://github.com/infinity0/pubkeys.git
