On Mon, 29 Sep 2014 at 20:09:48, Ferry Huberts wrote: > [...] > #!/bin/bash > [...] This is a bit off topic but the script doesn't seem to rely on any bashisms (apart from the double brackets which can be ported easily), so it might be a good idea to use a "/bin/sh" shebang (and use a shell other than bash as "default shell") here?