Utilisation de env pour appel bash : évite problème de chemin
Remplacement de /bin/bash
par /usr/bin/env bash
+ flags -eu
avec set
dans tous les scripts. Testé sur Linux Debian et OpenBSD 7.1
Closes #22 (closed)
Remplacement de /bin/bash
par /usr/bin/env bash
+ flags -eu
avec set
dans tous les scripts. Testé sur Linux Debian et OpenBSD 7.1
Closes #22 (closed)