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 | |
| 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
| -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 "# " |