summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorBen Sima <ben@bsima.me>2019-02-17 14:16:21 -0800
committerBen Sima <ben@bsima.me>2019-02-17 14:16:21 -0800
commite8f2ad8304310f7ddbd79da3a649d4b16e067478 (patch)
tree67681cebb597b5a75003ff263e3d595303f75af4 /Makefile
parent563bf764f0e6705ec0f5b6daf82585b8041e8056 (diff)
Create makefile
More flexible than a script
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile16
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