diff options
author | tv <tv@shackspace.de> | 2015-03-19 23:00:57 +0100 |
---|---|---|
committer | tv <tv@shackspace.de> | 2015-05-19 23:10:57 +0200 |
commit | 8f0c5e351367e93d753f3160dbfe29071c566dc5 (patch) | |
tree | 9055440647d56446d6fe68a3bcbc97d0c55d6edb /run | |
parent | 29ab86a21f64f19b43454fa840552bdb610ae2c2 (diff) |
run: juggled with types a bit
Diffstat (limited to 'run')
-rwxr-xr-x | run | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -12,7 +12,7 @@ main() { esac } -# deploy : nix-file x hostname -> () +# deploy : nixos-config x [user@]hostname -> () deploy() {( main=$1 target=$2 @@ -23,7 +23,7 @@ deploy() {( ssh "$target" nixos-rebuild switch -I nixos-config=/etc/nixos/"$main" )} -# rsync_filter : nix-file -> rsync-filter +# rsync_filter : nixos-config -> rsync-filter rsync_filter() {( main=$1 |