From 5d1fdc656cf148d0c4d8020f8ac048256a21b783 Mon Sep 17 00:00:00 2001 From: Emmanuel Viennet Date: Thu, 5 Sep 2024 00:24:18 +0200 Subject: [PATCH] =?UTF-8?q?script=20postinstall:=20tol=C3=A8re=20plus=20d'?= =?UTF-8?q?erreurs?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- tools/debian/postinst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/debian/postinst b/tools/debian/postinst index 539f1847c..f20d195ff 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)