The use of bash in main.sh and logger.sh

[dodona-server]

The R docker image I'm preparing, is based on alpine linux and doesn't come with a bash shell (alpine uses the ash shell).

Can #!/bin/bash be replaced with #!/bin/sh in main.sh and logger.sh? If not, I'll install the bash shell in the docker image (but I like to keep it as minimal as possible).

Original issue by jfmeys on Thu Apr 05 2018 at 17:55.

[beardhatcode]

I think it can and it wouldn't break anything.

But this should be tested first

Original comment by @beardhatcode on Thu Apr 05 2018 at 22:49.