Run.sh is a bash script

Run.sh seems to be a bash script since it uses [[ .. ]]