diff --git a/tools/debian/postinst b/tools/debian/postinst index 539f1847..f20d195f 100755 --- a/tools/debian/postinst +++ b/tools/debian/postinst @@ -3,7 +3,7 @@ # Post-installation de scodoc # ici, le répertoire /opt/scodoc vient d'être installé -set -euo pipefail +# set -euo pipefail commenté pour tolérer qq erruers, comme le timeout sur le curl cd /opt/scodoc || (echo "Error chdir to /opt/scodoc"; exit 1)