Sébastien Santoro de8c57cb24 Use #!/usr/bin/env as shebang for Bash scripts ...

On some systems, the bash command could be available in another
directory than /bin. As such, to offer an env shebang is more
convenient.

This make sense even for docker scripts, as you can use Docker
on FreeBSD or SmartOS for example.

2017-11-13 14:33:12 +00:00

..

docker

Use #!/usr/bin/env as shebang for Bash scripts

2017-11-13 14:33:12 +00:00

init_repo.sh

Use #!/usr/bin/env as shebang for Bash scripts

2017-11-13 14:33:12 +00:00

run.sh

Use #!/usr/bin/env as shebang for Bash scripts

2017-11-13 14:33:12 +00:00

shared.sh

ci: Improve log output (mainly Travis).

2017-06-02 01:14:26 +08:00