diff options
author | tv <tv@krebsco.de> | 2015-07-16 23:22:30 +0200 |
---|---|---|
committer | tv <tv@krebsco.de> | 2015-07-16 23:22:30 +0200 |
commit | 6aadd262fc1ec1cb7159da9ee62bd35616ddc23d (patch) | |
tree | 57983c04bb49fe0375300861111a61cede545794 /old/deploy | |
parent | 546d86da1e3cab814372fc57c83e737617c7fed8 (diff) |
Goodbye old world, and thanks for all the fish!
Diffstat (limited to 'old/deploy')
-rwxr-xr-x | old/deploy | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/old/deploy b/old/deploy deleted file mode 100755 index a9dbf45..0000000 --- a/old/deploy +++ /dev/null @@ -1,15 +0,0 @@ -#! /bin/sh -# -# usage: ./deploy system_name [target] -# -set -euf - -system_name=$1 -target=${2-root@$system_name} - -nix-instantiate \ - --argstr system-name "$system_name" \ - --argstr deploy-target "$target" \ - --eval --json . \ - | jq -r . \ - | sh |