From f7095ebd40d93ba74e66565ed138d9523073c931 Mon Sep 17 00:00:00 2001 From: Florian Knoch Date: Sat, 26 Oct 2019 21:20:45 +0200 Subject: [PATCH] Add plugin folder and docs --- deploy.sh | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/deploy.sh b/deploy.sh index 46d528c..a7b535f 100755 --- a/deploy.sh +++ b/deploy.sh @@ -1,12 +1,16 @@ #!/bin/bash +# Creates a ZIP archive of all important files and uploads +# it via scp. You are prompted for the exact path and +# need to extract the archive on the server afterwards. dirname=latex-wochenende-$(date +"%Y%m%d%H%M%S") echo "Creating zip file …" mkdir $dirname -for i in css images index.html js lib sections; do +for i in css images index.html js lib sections plugin; do cp -r $i $dirname/$i done; + (zip -r $dirname.zip $dirname) 1> /dev/null rm -rf $dirname