diff options
author | EuAndreh <eu@euandre.org> | 2019-12-29 21:48:45 -0300 |
---|---|---|
committer | EuAndreh <eu@euandre.org> | 2019-12-29 21:48:45 -0300 |
commit | 5633871eae6d75da096d9e6c639ffe6afeb0bfb3 (patch) | |
tree | 30427c94c9ac73fe093b1ba1cb27ef4d227762a2 /utils.nix | |
parent | check-spelling.sh: Hack to allow french words (diff) | |
download | euandre.org-5633871eae6d75da096d9e6c639ffe6afeb0bfb3.tar.gz euandre.org-5633871eae6d75da096d9e6c639ffe6afeb0bfb3.tar.xz |
utils: Make publish.sh less strict
Diffstat (limited to '')
-rw-r--r-- | utils.nix | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -92,7 +92,6 @@ }; overwritingPublishScript = { docsDerivation, overwrite ? true }: pkgs.writeShellScriptBin "publish.sh" '' - set -euo pipefail OUT_DOCS="${docsDerivation}" ${ if overwrite then "" else "# " |