aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEuAndreh <eu@euandre.org>2019-12-29 21:48:45 -0300
committerEuAndreh <eu@euandre.org>2019-12-29 21:48:45 -0300
commit5633871eae6d75da096d9e6c639ffe6afeb0bfb3 (patch)
tree30427c94c9ac73fe093b1ba1cb27ef4d227762a2
parentcheck-spelling.sh: Hack to allow french words (diff)
downloadeuandre.org-5633871eae6d75da096d9e6c639ffe6afeb0bfb3.tar.gz
euandre.org-5633871eae6d75da096d9e6c639ffe6afeb0bfb3.tar.xz
utils: Make publish.sh less strict
-rw-r--r--utils.nix1
1 files changed, 0 insertions, 1 deletions
diff --git a/utils.nix b/utils.nix
index 5bcbb10..4b60ba6 100644
--- a/utils.nix
+++ b/utils.nix
@@ -92,7 +92,6 @@
};
overwritingPublishScript = { docsDerivation, overwrite ? true }:
pkgs.writeShellScriptBin "publish.sh" ''
- set -euo pipefail
OUT_DOCS="${docsDerivation}"
${
if overwrite then "" else "# "