From f9524766bd7eba9c429492017485d61188b76c87 Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Sat, 2 Mar 2019 17:48:32 -0800
Subject: Better deploy script

---
 Makefile | 17 -----------------
 1 file changed, 17 deletions(-)
 delete mode 100644 Makefile

(limited to 'Makefile')

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
-- 
cgit v1.2.3