diff options
| author | EuAndreh <eu@euandre.org> | 2019-06-01 17:59:06 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2019-06-01 18:00:32 -0300 |
| commit | 50a5fede59f13d6983adc3f431fac438717713f9 (patch) | |
| tree | 214e6006470c5014805e1f3025d8fdd80ecb1bf7 | |
| parent | Add reference to partitioning tutorials (diff) | |
| download | dotfiles-50a5fede59f13d6983adc3f431fac438717713f9.tar.gz dotfiles-50a5fede59f13d6983adc3f431fac438717713f9.tar.xz | |
Delete existing documentation content in docs derivation
| -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 da5e3f9b..b6741eb3 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/" \ |