From 50a5fede59f13d6983adc3f431fac438717713f9 Mon Sep 17 00:00:00 2001 From: EuAndreh Date: Sat, 1 Jun 2019 17:59:06 -0300 Subject: Delete existing documentation content in docs derivation --- utils.nix | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'utils.nix') diff --git a/utils.nix b/utils.nix index fd25021..a13e0f4 100644 --- a/utils.nix +++ b/utils.nix @@ -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/" \ -- cgit v1.2.3