From ad2a73c988208435bf0cfb081ab6d8ab59bf5b57 Mon Sep 17 00:00:00 2001 From: Dimitri Merejkowsky Date: Sat, 17 Nov 2018 16:34:55 +0100 Subject: [PATCH] Add build script --- sessions/build.sh | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100755 sessions/build.sh diff --git a/sessions/build.sh b/sessions/build.sh new file mode 100755 index 0000000..c1f13e4 --- /dev/null +++ b/sessions/build.sh @@ -0,0 +1,12 @@ +#!/bin/zsh + +set -e + +if [[ -z $1 ]]; then + echo "Usage: build.sh INPUT.md" + exit 1 +fi + + +out=${1:s/.md/.html} +darkslide --linenos=no $1 --destination ${out}