diff options
-rwxr-xr-x | tools/markdown/reveal | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tools/markdown/reveal b/tools/markdown/reveal index f0d374b..4873517 100755 --- a/tools/markdown/reveal +++ b/tools/markdown/reveal | |||
@@ -1,5 +1,10 @@ | |||
1 | #! /bin/bash | 1 | #! /bin/bash |
2 | 2 | ||
3 | if [[ ! $1 =~ '.md' ]]; then | ||
4 | echo markdown file is not given >&2 | ||
5 | exit 1 | ||
6 | fi | ||
7 | |||
3 | # Available themes: | 8 | # Available themes: |
4 | # beige black blood league moon night serif simple sky solarized white | 9 | # beige black blood league moon night serif simple sky solarized white |
5 | THEME=${THEME:-serif} | 10 | THEME=${THEME:-serif} |