On Fri, Sep 26, 2014, at 05:43 PM, Martti Kühne wrote: > Removing bashisms would not have any inpact in security but rather > enable us switching /bin/sh away from /usr/bin/bash. Which we in > general appear to agree on? > > cheers! > mar77i We do, but let's hope a dev weighs in on this. Or rather, it's time to open a bug report. -- Cheers! Savya