diff options
| -rw-r--r-- | default.nix | 4 | ||||
| -rw-r--r-- | utils.nix | 4 |
2 files changed, 5 insertions, 3 deletions
diff --git a/default.nix b/default.nix index fe8faae..dc9418a 100644 --- a/default.nix +++ b/default.nix @@ -35,5 +35,7 @@ in rec { (utils.fixme [ "default.nix" "utils.nix" ]) subtasks.uniqueFeeds ]; - publishScript = utils.overwritingPublishScript subtasks.docs; + publishScript = utils.overwritingPublishScript { + docsDerivation = subtasks.docs; + }; } @@ -85,11 +85,11 @@ in rec { touch $out ''; }); - overwritingPublishScript = docsDerivation: + overwritingPublishScript = { docsDerivation, overwrite ? true }: pkgs.writeShellScriptBin "publish.sh" '' set -euo pipefail OUT_DOCS="${docsDerivation}" - ${pkgs.openssh}/bin/ssh -o StrictHostKeyChecking=no "$SERVER_URL" rm -rf "$DOCS_SERVER_PATH/*" + ${if overwrite then "# " else ""}${pkgs.openssh}/bin/ssh -o StrictHostKeyChecking=no "$SERVER_URL" rm -rf "$DOCS_SERVER_PATH/*" ${pkgs.rsync}/bin/rsync -avzP \ --rsh="ssh -o StrictHostKeyChecking=no" \ "$OUT_DOCS/" \ |