From 3f1e3059de6b8dbc651ccdbbea4dbc1f1a7d8f8c Mon Sep 17 00:00:00 2001
From: Paul Lesur <git@lesurpaul.fr>
Date: Sun, 26 May 2019 23:22:49 +0200
Subject: [PATCH] add deploy script

---
 .gitignore | 2 ++
 deploy.sh  | 8 ++++++++
 2 files changed, 10 insertions(+)
 create mode 100755 deploy.sh

diff --git a/.gitignore b/.gitignore
index 0c1bca4..20b96f5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -13,3 +13,5 @@
 *.fls
 *.xdv
 *.run.xml
+
+.env
diff --git a/deploy.sh b/deploy.sh
new file mode 100755
index 0000000..5b743bf
--- /dev/null
+++ b/deploy.sh
@@ -0,0 +1,8 @@
+#!/bin/bash
+
+# this should define:
+# UNAME, HOST, PORT, DEST_DIR
+source .env
+
+latexmk cv.tex -xelatex && \
+     rsync --archive -hh --partial --info=stats1 --info=progress2 --modify-window=1 -e "ssh -p ${PORT}" cv.pdf ${UNAME}@${HOST}:${DEST_DIR}/${DEST_FILE}