diff options
author | tv <tv@krebsco.de> | 2015-04-07 22:18:11 +0200 |
---|---|---|
committer | tv <tv@krebsco.de> | 2015-05-19 23:15:56 +0200 |
commit | ee0c09d16f1e857a9f37118babc5c2a061fa9cf1 (patch) | |
tree | 98207076bb84973f8fe9cfb83bdac81d08388e0e | |
parent | 47dbc30365f95fb5f3fe4ae963b013305b392518 (diff) |
run -> {deploy,lib/prelude.sh}
-rwxr-xr-x | deploy | 15 | ||||
-rw-r--r--[-rwxr-xr-x] | lib/prelude.sh (renamed from run) | 22 |
2 files changed, 20 insertions, 17 deletions
@@ -0,0 +1,15 @@ +#! /bin/sh +# +# usage: ./deploy CONFIG [[USER@]HOST] +# +set -euf + +. ./lib/prelude.sh + +user=root +host=$1 + +config=./$host.nix +target=${2-$user@$host} + +verbose deploy "$config" "$target" @@ -1,17 +1,3 @@ -#! /bin/sh -set -euf - -main() { - case "$1" in - (deploy) - "$@" - ;; - (*) - echo "$0: unknown command: $1" >&2 - exit 23 - esac -} - # deploy : nixos-config x [user@]hostname -> () deploy() {( main=$1 @@ -199,6 +185,8 @@ make_parent_dirs() { fi } -if [ "${noexec-}" != 1 ]; then - main "$@" -fi +# verbose COMMAND [ARGS...] +verbose() { + echo "$@" >&2 + "$@" +} |