aboutsummaryrefslogtreecommitdiff
path: root/deploy
diff options
context:
space:
mode:
authorJoris2019-05-01 15:52:32 +0200
committerJoris2019-05-01 17:11:02 +0200
commit23f04635cc26e1b0553088f28553f518488a9fc8 (patch)
tree97037643bab24564046ce4aba90481e3b92a15d3 /deploy
parent0fe906ae7453aa684e998bbcc7a78b62d84f0206 (diff)
Setup personal page with Hakyll
Diffstat (limited to 'deploy')
-rwxr-xr-xdeploy12
1 files changed, 12 insertions, 0 deletions
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