aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--utils.nix1
1 files changed, 1 insertions, 0 deletions
diff --git a/utils.nix b/utils.nix
index 4b60ba6..5bcbb10 100644
--- a/utils.nix
+++ b/utils.nix
@@ -92,6 +92,7 @@
};
overwritingPublishScript = { docsDerivation, overwrite ? true }:
pkgs.writeShellScriptBin "publish.sh" ''
+ set -euo pipefail
OUT_DOCS="${docsDerivation}"
${
if overwrite then "" else "# "