From 23f04635cc26e1b0553088f28553f518488a9fc8 Mon Sep 17 00:00:00 2001
From: Joris
Date: Wed, 1 May 2019 15:52:32 +0200
Subject: Setup personal page with Hakyll

---
 deploy | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100755 deploy

(limited to 'deploy')

diff --git a/deploy b/deploy
new file mode 100755
index 0000000..ec1ed47
--- /dev/null
+++ b/deploy
@@ -0,0 +1,12 @@
+#!/usr/bin/env bash
+set -e
+git checkout master
+git fetch
+git merge --ff-only origin/master
+nix-shell --command "make clean install build"
+git checkout -b deploy
+git add --force public
+git commit -m "deploy $(date +%Y-%m-%d)"
+git push --force origin deploy
+git checkout master
+git branch -D deploy
-- 
cgit v1.2.3