35 lines
802 B
Bash
Executable file
35 lines
802 B
Bash
Executable file
#!/bin/bash
|
|
|
|
filename=$(basename "$1")
|
|
|
|
case "$filename" in
|
|
*.awk|*.groff|*.java|*.js|*.m4|*.php|*.pl|*.pm|*.pod|*.sh|\
|
|
*.ad[asb]|*.asm|*.inc|*.[ch]|*.[ch]pp|*.[ch]xx|*.cc|*.hh|\
|
|
*.lsp|*.l|*.pas|*.p|*.xml|*.xps|*.xsl|*.axp|*.ppd|*.pov|\
|
|
*.diff|*.patch|*.py|*.rb|*.sql|*.ebuild|*.eclass)
|
|
if type -p pygmentize > /dev/null; then
|
|
pygmentize -f 256 "$1"
|
|
else
|
|
exit 1
|
|
fi
|
|
;;
|
|
.bashrc|.bash_aliases|.bash_environment|.zshrc|.zimrc|.zlogin)
|
|
if type -p pygmentize > /dev/null; then
|
|
pygmentize -f 256 -l sh "$1"
|
|
else
|
|
exit 1
|
|
fi
|
|
;;
|
|
*)
|
|
if grep -q "#\!/bin/bash" "$1" 2>/dev/null; then
|
|
if type -p pygmentize > /dev/null; then
|
|
pygmentize -f 256 -l sh "$1"
|
|
else
|
|
exit 1
|
|
fi
|
|
else
|
|
exit 1
|
|
fi
|
|
;;
|
|
esac
|
|
|