bin/gp.sh

Canardoux · Mar 6, 2022 · a7ca647 · a7ca647
1 parent d2b85a0
commit a7ca647
Show file tree

Hide file tree

Showing 5 changed files with 35 additions and 0 deletions.
diff --git a/.DS_Store b/.DS_Store
diff --git a/bin/.DS_Store b/bin/.DS_Store
diff --git a/bin/doc.sh b/bin/doc.sh
@@ -0,0 +1,2 @@
+#!/bin/bash
+
diff --git a/bin/gp.sh b/bin/gp.sh
@@ -0,0 +1,19 @@
+#!/bin/bash
+
+git add .
+TXT=$1
+
+if [ -z "$TXT" ]; then
+        echo "Correct syntax is $0 <TEXT>"
+        exit -1
+fi
+
+
+
+
+git add .
+git commit -m "$TXT"
+git config pull.rebase false
+git pull
+git push
+
diff --git a/bin/pdf-mydoc.sh b/bin/pdf-mydoc.sh
@@ -0,0 +1,14 @@
+# Note that .sh scripts work only on Mac. If you're on Windows, install Git Bash and use that as your client.
+
+echo 'Kill all Jekyll instances'
+kill -9 $(ps aux | grep '[j]ekyll' | awk '{print $2}')
+clear
+
+echo "Building PDF-friendly HTML site for Mydoc ...";
+bundle exec jekyll serve --detach --config _config.yml,pdfconfigs/config_mydoc_pdf.yml;
+echo "done";
+
+echo "Building the PDF ...";
+prince --javascript --input-list=_site/pdfconfigs/prince-list.txt -o pdf/mydoc.pdf;
+
+echo "Done. Look in the pdf directory to see if it printed successfully."