diff options
author | Joris | 2019-05-01 15:52:32 +0200 |
---|---|---|
committer | Joris | 2019-05-01 17:11:02 +0200 |
commit | 23f04635cc26e1b0553088f28553f518488a9fc8 (patch) | |
tree | 97037643bab24564046ce4aba90481e3b92a15d3 /deploy | |
parent | 0fe906ae7453aa684e998bbcc7a78b62d84f0206 (diff) |
Setup personal page with Hakyll
Diffstat (limited to 'deploy')
-rwxr-xr-x | deploy | 12 |
1 files changed, 12 insertions, 0 deletions
@@ -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 |