script postinstall: tolère plus d'erreurs

5d1fdc65 · Emmanuel Viennet · 8add5a66 · 5d1fdc65
Commit 5d1fdc65 authored 10 months ago by Emmanuel Viennet
--- 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)