Romain Tartière b2834b58bf Do not hardcode /bin/bash ... Bash location is different from /bin on most non-Linux UNIX systems. Rely on env(1) to find the shell in the user's $PATH.		2018-08-22 15:45:59 +02:00
..
git-extract.sh	Do not hardcode /bin/bash	2018-08-22 15:45:59 +02:00