diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..7b938e8 --- /dev/null +++ b/Makefile @@ -0,0 +1,16 @@ +HOST = root@simatime.com +OUT = $(shell readlink -n ./result) + +result: + nix-build --attr system ./nixos.nix + +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 |