diff --git a/ci-tools/update-nixpkgs b/ci-tools/update-nixpkgs index f7b326c9a7b8158cf1b5b5d36cc013492ef1e444..539de764461be472f3aa778742d5851ce47e696e 100755 --- a/ci-tools/update-nixpkgs +++ b/ci-tools/update-nixpkgs @@ -9,6 +9,8 @@ set -eux -o pipefail +HOST="whetstone.private.storage" + setup_ssh() { # -s makes the output sh compatible, in case it can't detect this for # itself.