clone.sh should use bash due to bashisms

[ivucica]

Bashisms pushd/popd don't work so well if /bin/sh is dash, as is the case on a Debian machine.

[feross]

Thanks for the fix!

[yurivict]

This is linux-only:

#!/bin/bash

It should be:

#!/usr/bin/env bash

[ivucica]

I've seen that for Python, but never for bash.

If your bash is not in /bin, perhaps you need for fix your UNIX? Plenty of hashbangs will expect it there.

But – obviously I scratched just my itch, and you're (of course) welcome to treat yours :-)

[feross]

I'm not really a pro on bash, but this stackoverflow question illuminated the issue for me: https://stackoverflow.com/questions/21612980/why-is-usr-bin-env-bash-superior-to-bin-bash

[yurivict]

It is always better to use #!/usr/bin/env regardless of an interpreter. On BSD for ex. bash is /usr/local/bin/bash.