diff options
author | Ben Sima <ben@bsima.me> | 2019-02-17 14:16:21 -0800 |
---|---|---|
committer | Ben Sima <ben@bsima.me> | 2019-02-17 14:16:21 -0800 |
commit | e8f2ad8304310f7ddbd79da3a649d4b16e067478 (patch) | |
tree | 67681cebb597b5a75003ff263e3d595303f75af4 /deploy.sh | |
parent | 563bf764f0e6705ec0f5b6daf82585b8041e8056 (diff) |
Create makefile
More flexible than a script
Diffstat (limited to 'deploy.sh')
-rwxr-xr-x | deploy.sh | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/deploy.sh b/deploy.sh deleted file mode 100755 index 096b205..0000000 --- a/deploy.sh +++ /dev/null @@ -1,14 +0,0 @@ -#!/usr/bin/env bash - -echo ":: Cleaning" -rm -f ./result - -echo ":: Building" -nix-build --attr system ./nixos.nix - -echo ":: Copying" -nix copy --to "ssh://root@simatime.com" ./result - -echo ":: Switching" -path=$(readlink -n ./result) -ssh root@simatime.com sudo "$path/bin/switch-to-configuration" switch |