diff options
author | Hsieh Chin Fan <typebrook@gmail.com> | 2022-07-26 11:28:05 +0800 |
---|---|---|
committer | Hsieh Chin Fan <typebrook@gmail.com> | 2022-07-26 11:28:05 +0800 |
commit | cf91538b181ae7c31bef9124a75039ff05ef0ed3 (patch) | |
tree | 49c79e0e324ddb8335fdfb806796af395fd5f3df /tools | |
parent | 54e1962e2622c087d85e5f933905081833c8bcf9 (diff) |
Update
Diffstat (limited to 'tools')
-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} |