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