On 10/30/2012 08:24 PM, Andreas Schwab wrote: > Stefano Lattarini <stefano.lattar...@gmail.com> writes: > >> If it ain't broken, don't fix it ;-) > > As you found out, it _is_ broken. > Actually, I was speaking about the fact that, even after reading Bob's explanation about how to make dash the /bin/sh of a Debian system, I'll stuck with Bash, to avoid potential useless breakage on my system. So ``if the system isn't broken having bash as /bin/sh, don't "fix" it putting dash in /bin/sh''.
I have no strong feelings about the "ruid/euid synchronization" behaviour (my only gripe is that Debian hasn't updated the man page as well after changing the bash behaviour). Regards, Stefano
