Integration with Bugzilla?

[Ferry Huberts]

On 29/09/14 20:30, Lukas Fleischer wrote:
> 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?
>


my server is guaranteed to have bash, so no need to change it.
but thanks for the hint anyway :-)

also, this script is a very minor modification of the script that's in 
the source tree.

-- 
Ferry Huberts