2018-10-19 17:27:49 +00:00
|
|
|
# easier alias to use the plugin
|
2018-01-23 03:18:03 +00:00
|
|
|
alias ccat='colorize_via_pygmentize'
|
2019-03-06 06:34:12 +00:00
|
|
|
alias cless='colorize_via_pygmentize_less'
|
2013-04-12 14:19:42 +00:00
|
|
|
|
|
|
|
colorize_via_pygmentize() {
|
2019-11-15 19:11:50 +00:00
|
|
|
|
|
|
|
if [[ $ZSH_COLORIZE_TOOL != "chroma" && $ZSH_COLORIZE_TOOL != "pygmentize" ]]; then
|
|
|
|
echo "ZSH_COLORIZE_TOOL not recognized. Options are 'pygmentize' or 'chroma'"
|
2018-10-08 15:56:44 +00:00
|
|
|
return 1
|
2013-04-12 14:19:42 +00:00
|
|
|
fi
|
|
|
|
|
2019-11-15 19:11:50 +00:00
|
|
|
if [ -z $ZSH_COLORIZE_TOOL ]; then
|
|
|
|
if (( $+commands[pygmentize] )); then
|
|
|
|
ZSH_COLORIZE_TOOL="pygmentize"
|
|
|
|
elif (( $+commands[chroma] )); then
|
|
|
|
ZSH_COLORIZE_TOOL="chroma"
|
|
|
|
else
|
|
|
|
echo "niether 'Pygments' nor 'chroma' is not installed!"
|
|
|
|
return 1
|
|
|
|
fi
|
|
|
|
fi
|
|
|
|
|
|
|
|
echo "Tool: $ZSH_COLORIZE_TOOL"
|
|
|
|
|
|
|
|
# If the environment variable ZSH_COLORIZE_STYLE
|
2019-03-06 06:34:12 +00:00
|
|
|
# is set, use that theme instead. Otherwise,
|
|
|
|
# use the default.
|
|
|
|
if [ -z $ZSH_COLORIZE_STYLE ]; then
|
2019-11-15 19:11:50 +00:00
|
|
|
if [[ $ZSH_COLORIZE_TOOL == "pygmentize" ]]; then
|
|
|
|
ZSH_COLORIZE_STYLE="default"
|
|
|
|
else
|
|
|
|
# Choosing 'emacs' to match pygmentize's default as per:
|
|
|
|
# https://github.com/pygments/pygments/blob/master/pygments/styles/default.py#L19
|
|
|
|
ZSH_COLORIZE_STYLE="emacs"
|
|
|
|
fi
|
2019-03-06 06:34:12 +00:00
|
|
|
fi
|
|
|
|
|
2019-11-15 19:11:50 +00:00
|
|
|
echo "color style: $ZSH_COLORIZE_STYLE"
|
2018-10-19 17:27:49 +00:00
|
|
|
# pygmentize stdin if no arguments passed
|
2013-04-12 14:19:42 +00:00
|
|
|
if [ $# -eq 0 ]; then
|
2019-11-15 19:11:50 +00:00
|
|
|
if [[ $ZSH_COLORIZE_TOOL == "pygmentize" ]]; then
|
|
|
|
pygmentize -O style="$ZSH_COLORIZE_STYLE" -g
|
|
|
|
else
|
|
|
|
chroma --style="$ZSH_COLORIZE_STYLE"
|
|
|
|
fi
|
2018-10-19 17:27:49 +00:00
|
|
|
return $?
|
2013-04-12 14:19:42 +00:00
|
|
|
fi
|
|
|
|
|
2018-10-19 17:27:49 +00:00
|
|
|
# guess lexer from file extension, or
|
|
|
|
# guess it from file contents if unsuccessful
|
2019-03-06 06:34:12 +00:00
|
|
|
|
2018-10-19 17:27:49 +00:00
|
|
|
local FNAME lexer
|
2019-04-22 19:06:47 +00:00
|
|
|
for FNAME in "$@"
|
2013-04-12 14:19:42 +00:00
|
|
|
do
|
2019-11-15 19:11:50 +00:00
|
|
|
if [[ $ZSH_COLORIZE_TOOL == "pygmentize" ]]; then
|
|
|
|
lexer=$(pygmentize -N "$FNAME")
|
|
|
|
if [[ $lexer != text ]]; then
|
|
|
|
pygmentize -O style="$ZSH_COLORIZE_STYLE" -l "$lexer" "$FNAME"
|
|
|
|
else
|
|
|
|
pygmentize -O style="$ZSH_COLORIZE_STYLE" -g "$FNAME"
|
|
|
|
fi
|
2013-04-12 14:19:42 +00:00
|
|
|
else
|
2019-11-15 19:11:50 +00:00
|
|
|
chroma --style="$ZSH_COLORIZE_STYLE" "$FNAME"
|
2013-04-12 14:19:42 +00:00
|
|
|
fi
|
|
|
|
done
|
2014-05-08 18:19:37 +00:00
|
|
|
}
|
2019-04-22 19:06:47 +00:00
|
|
|
|
2019-03-06 06:34:12 +00:00
|
|
|
colorize_via_pygmentize_less() (
|
2019-04-22 19:06:47 +00:00
|
|
|
# this function is a subshell so tmp_files can be shared to cleanup function
|
|
|
|
declare -a tmp_files
|
2019-03-06 06:34:12 +00:00
|
|
|
|
2019-04-22 19:06:47 +00:00
|
|
|
cleanup () {
|
|
|
|
[[ ${#tmp_files} -gt 0 ]] && rm -f "${tmp_files[@]}"
|
|
|
|
exit
|
|
|
|
}
|
|
|
|
trap 'cleanup' EXIT HUP TERM INT
|
2019-03-06 06:34:12 +00:00
|
|
|
|
2019-04-22 19:06:47 +00:00
|
|
|
while (( $# != 0 )); do #TODO: filter out less opts
|
2019-04-29 18:51:29 +00:00
|
|
|
tmp_file="$(mktemp -t "tmp.colorize.XXXX.$(sed 's/\//./g' <<< "$1")")"
|
2019-04-22 19:06:47 +00:00
|
|
|
tmp_files+=("$tmp_file")
|
|
|
|
colorize_via_pygmentize "$1" > "$tmp_file"
|
|
|
|
shift 1
|
|
|
|
done
|
|
|
|
|
|
|
|
less -f "${tmp_files[@]}"
|
|
|
|
)
|