diff options
| author | Ben Sima <ben@bsima.me> | 2019-03-02 17:48:32 -0800 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2019-03-02 17:50:39 -0800 |
| commit | f9524766bd7eba9c429492017485d61188b76c87 (patch) | |
| tree | ef67af35c3f8947a15947e4b4a7a22ffaba4c59c /Makefile | |
| parent | 3d0df3ed30014f22574af4b390553930ef7cbb7f (diff) | |
Better deploy script
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/Makefile b/Makefile deleted file mode 100644 index 71c1a16..0000000 --- a/Makefile +++ /dev/null @@ -1,17 +0,0 @@ -HOST = simatime.com -USER = root -OUT = $(shell readlink -n ./result) - -result: - nix-build -A depo.nutin-madaj.system - -copy: result - nix copy --to "ssh://$(USER)@$(HOST)" ./result - -switch: - ssh $(USER)@$(HOST) sudo "$(OUT)/bin/switch-to-configuration" switch - -clean: FORCE - rm -f ./result - -.PHONY: FORCE |