On Mon 29 Sep 2014 09:58:33 NZDT +1300, Ewen McNeill wrote:
PS: IMHO it'd also be a good idea to consider whether you want_ bash to be your /bin/sh at this point. bash is not the default /bin/sh on modern Debian Linux or Ubuntu Linux -- both use dash by default. The risk is definitely reduced if your system() calls and "#! /bin/sh" scripts end up running something other than bash.
Traditionally I don't think there was a strong case for not having bash as /bin/sh, but also advantages - like the, in plain English, retarded capabilities of alternative interpreters. Hindsight is wonderful. Right now, bash as /bin/sh looks like a bad idea, but before changing you'd want to have a closer look at your replacement for similar problems. Programming for bash and calling /bin/sh could be seen as sloppy, but on systems that have had bash as minimum basic shell for a long time it is also not unreasonable to make that assumption. Just replacing /bin/sh from bash with something else will most likely give you a wonky system and you'll have heaps of fixing to do. It is not impossible now though that distributions will reduce their least common denominator for /bin/sh somewhat and clean up all the corners, but it's not going to happen overnight. Volker -- Volker Kuhlmann is list0570 with the domain in header. http://volker.top.geek.nz/ Please do not CC list postings to me.