diff options
author | Ferry Huberts <ferry.huberts@pelagic.nl> | 2012-10-09 20:10:48 (JST) |
---|---|---|
committer | Jason A. Donenfeld <Jason@zx2c4.com> | 2012-10-09 20:19:12 (JST) |
commit | d14faf4424ae06ced696c15f205c85fe55b8e6e7 (patch) | |
tree | 882b444c1bde093b83f594f874366f90839f2c74 | |
parent | e52a5226b83dc5232adb7d9076cae3ad4b123df4 (diff) | |
download | cgit-d14faf4424ae06ced696c15f205c85fe55b8e6e7.zip cgit-d14faf4424ae06ced696c15f205c85fe55b8e6e7.tar.gz |
syntax-highlight: when the file has no extension, assume text
There are 2 situations:
1- empty extension: assuming text is better than highlight
producing no output because of a missing argument.
2- no extension at all: assuming text is better than setting
the extension to the filename, which is what now happens.
Signed-off-by: Ferry Huberts <ferry.huberts@pelagic.nl>
-rwxr-xr-x | filters/syntax-highlighting.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/filters/syntax-highlighting.sh b/filters/syntax-highlighting.sh index 0639b10..47f6267 100755 --- a/filters/syntax-highlighting.sh +++ b/filters/syntax-highlighting.sh | |||
@@ -39,8 +39,11 @@ | |||
39 | BASENAME="$1" | 39 | BASENAME="$1" |
40 | EXTENSION="${BASENAME##*.}" | 40 | EXTENSION="${BASENAME##*.}" |
41 | 41 | ||
42 | [ "${BASENAME}" = "${EXTENSION}" ] && EXTENSION=txt | ||
43 | [ -z "${EXTENSION}" ] && EXTENSION=txt | ||
44 | |||
42 | # map Makefile and Makefile.* to .mk | 45 | # map Makefile and Makefile.* to .mk |
43 | [ "${BASENAME%%.*}" == "Makefile" ] && EXTENSION=mk | 46 | [ "${BASENAME%%.*}" = "Makefile" ] && EXTENSION=mk |
44 | 47 | ||
45 | # highlight versions 2 and 3 have different commandline options. Specifically, | 48 | # highlight versions 2 and 3 have different commandline options. Specifically, |
46 | # the -X option that is used for version 2 is replaced by the -O xhtml option | 49 | # the -X option that is used for version 2 is replaced by the -O xhtml option |