From 4d75feea65476eddbf20e52cda29ac71e23279bd Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=B6rg=20Thalheim?= Date: Fri, 12 Apr 2024 16:39:56 +0200 Subject: [PATCH] deploy-docs: fail on error --- docs/deploy-docs.nix | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/deploy-docs.nix b/docs/deploy-docs.nix index a03176cbf..65a66fc27 100644 --- a/docs/deploy-docs.nix +++ b/docs/deploy-docs.nix @@ -8,6 +8,7 @@ }: writeShellScriptBin "deploy-docs" '' + set -eux -o pipefail export PATH="${ lib.makeBinPath [ coreutils