deploy script

paauw · Dec 13, 2020 · ec4b05e · ec4b05e
1 parent 04bf93f
commit ec4b05e
Showing 1 changed file with 17 additions and 0 deletions.
diff --git a/deploy.sh b/deploy.sh
@@ -0,0 +1,17 @@
+#!/bin/bash
+
+set -e
+
+# if not on gh-pages brach exit
+git status | grep gh-pages
+
+echo '<meta http-equiv=refresh content=0;url=book/book/index.html>' > index.html
+rm -r book/src
+rm .gitignore
+echo '.venv/' > .gitignore
+echo '.idea/' >> .gitignore
+echo 'data/' >> .gitignore
+echo '__pychache__/' >> .gitignore
+
+
+