2018-10-19 19:27:49 +02:00
|
|
|
# easier alias to use the plugin
|
2018-01-23 04:18:03 +01:00
|
|
|
alias ccat='colorize_via_pygmentize'
|
2019-03-06 07:34:12 +01:00
|
|
|
alias cless='colorize_via_pygmentize_less'
|
2013-04-12 16:19:42 +02:00
|
|
|
|
|
|
|
colorize_via_pygmentize() {
|
2019-11-16 13:10:02 +01:00
|
|
|
local available_tools=("chroma" "pygmentize")
|
2013-04-12 16:19:42 +02:00
|
|
|
|
2019-11-15 20:11:50 +01:00
|
|
|
if [ -z $ZSH_COLORIZE_TOOL ]; then
|
|
|
|
if (( $+commands[pygmentize] )); then
|
|
|
|
ZSH_COLORIZE_TOOL="pygmentize"
|
|
|
|
elif (( $+commands[chroma] )); then
|
|
|
|
ZSH_COLORIZE_TOOL="chroma"
|
|
|
|
else
|
2019-11-16 13:10:02 +01:00
|
|
|
echo "Neither 'pygments' nor 'chroma' is installed!"
|
2019-11-15 20:11:50 +01:00
|
|
|
return 1
|
|
|
|
fi
|
|
|
|
fi
|
|
|
|
|
2019-11-16 13:10:02 +01:00
|
|
|
if [[ ${available_tools[(Ie)$ZSH_COLORIZE_TOOL]} -eq 0 ]]; then
|
|
|
|
echo "ZSH_COLORIZE_TOOL '$ZSH_COLORIZE_TOOL' not recognized. Available options are 'pygmentize' and 'chroma'."
|
|
|
|
return 1
|
2019-11-17 20:03:14 +01:00
|
|
|
elif (( $+commands["$ZSH_COLORIZE_TOOL"] )); then
|
2019-11-16 13:10:02 +01:00
|
|
|
echo "Package '$ZSH_COLORIZE_TOOL' is not installed!"
|
|
|
|
return 1
|
|
|
|
fi
|
2019-11-15 20:11:50 +01:00
|
|
|
|
|
|
|
# If the environment variable ZSH_COLORIZE_STYLE
|
2019-03-06 07:34:12 +01:00
|
|
|
# is set, use that theme instead. Otherwise,
|
|
|
|
# use the default.
|
|
|
|
if [ -z $ZSH_COLORIZE_STYLE ]; then
|
2019-11-15 20:11:50 +01: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 07:34:12 +01:00
|
|
|
fi
|
|
|
|
|
2018-10-19 19:27:49 +02:00
|
|
|
# pygmentize stdin if no arguments passed
|
2013-04-12 16:19:42 +02:00
|
|
|
if [ $# -eq 0 ]; then
|
2019-11-15 20:11:50 +01:00
|
|
|
if [[ $ZSH_COLORIZE_TOOL == "pygmentize" ]]; then
|
|
|
|
pygmentize -O style="$ZSH_COLORIZE_STYLE" -g
|
|
|
|
else
|
|
|
|
chroma --style="$ZSH_COLORIZE_STYLE"
|
|
|
|
fi
|
2018-10-19 19:27:49 +02:00
|
|
|
return $?
|
2013-04-12 16:19:42 +02:00
|
|
|
fi
|
|
|
|
|
2018-10-19 19:27:49 +02:00
|
|
|
# guess lexer from file extension, or
|
|
|
|
# guess it from file contents if unsuccessful
|
2019-03-06 07:34:12 +01:00
|
|
|
|
2018-10-19 19:27:49 +02:00
|
|
|
local FNAME lexer
|
2019-04-22 21:06:47 +02:00
|
|
|
for FNAME in "$@"
|
2013-04-12 16:19:42 +02:00
|
|
|
do
|
2019-11-15 20:11:50 +01: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 16:19:42 +02:00
|
|
|
else
|
2019-11-15 20:11:50 +01:00
|
|
|
chroma --style="$ZSH_COLORIZE_STYLE" "$FNAME"
|
2013-04-12 16:19:42 +02:00
|
|
|
fi
|
|
|
|
done
|
2014-05-08 20:19:37 +02:00
|
|
|
}
|
2019-04-22 21:06:47 +02:00
|
|
|
|
2019-03-06 07:34:12 +01:00
|
|
|
colorize_via_pygmentize_less() (
|
2019-04-22 21:06:47 +02:00
|
|
|
# this function is a subshell so tmp_files can be shared to cleanup function
|
|
|
|
declare -a tmp_files
|
2019-03-06 07:34:12 +01:00
|
|
|
|
2019-04-22 21:06:47 +02:00
|
|
|
cleanup () {
|
|
|
|
[[ ${#tmp_files} -gt 0 ]] && rm -f "${tmp_files[@]}"
|
|
|
|
exit
|
|
|
|
}
|
|
|
|
trap 'cleanup' EXIT HUP TERM INT
|
2019-03-06 07:34:12 +01:00
|
|
|
|
2019-04-22 21:06:47 +02:00
|
|
|
while (( $# != 0 )); do #TODO: filter out less opts
|
2019-04-29 20:51:29 +02:00
|
|
|
tmp_file="$(mktemp -t "tmp.colorize.XXXX.$(sed 's/\//./g' <<< "$1")")"
|
2019-04-22 21:06:47 +02:00
|
|
|
tmp_files+=("$tmp_file")
|
|
|
|
colorize_via_pygmentize "$1" > "$tmp_file"
|
|
|
|
shift 1
|
|
|
|
done
|
|
|
|
|
|
|
|
less -f "${tmp_files[@]}"
|
|
|
|
)
|