From e8f2ad8304310f7ddbd79da3a649d4b16e067478 Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Sun, 17 Feb 2019 14:16:21 -0800
Subject: Create makefile

More flexible than a script
---
 deploy.sh | 14 --------------
 1 file changed, 14 deletions(-)
 delete mode 100755 deploy.sh

(limited to 'deploy.sh')

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