diff options
author | José Mota <jose@josemota.net> | 2016-06-09 21:52:09 +0100 |
---|---|---|
committer | José Mota <jose@josemota.net> | 2016-06-09 21:52:09 +0100 |
commit | 11e1db05be252cc47cb6583b06c9208f2500dbf1 (patch) | |
tree | a3adff39951c890feab33bb2a88cf38377f85bbc | |
parent | ee1c00843b7ffe7318f8fd8c996bf634910403c2 (diff) |
Begin script to generate themes.
-rwxr-xr-x | bin/thomas | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/bin/thomas b/bin/thomas new file mode 100755 index 0000000..f3eca1c --- /dev/null +++ b/bin/thomas @@ -0,0 +1,13 @@ +#!/bin/bash + +FILE=$1 +OUTPUT_FOLDER=output + +mkdir -p $OUTPUT_FOLDER + +if ! command -v "mo" 2> /dev/null; then + echo "You don't have mo installed. Exiting." + exit 2 +fi + +source thomas.env && cat templates/$1 | mo > $OUTPUT_FOLDER/$FILE |