Merge branch 'jjangga0214-patch-1-plugin-colorize'

This commit is contained in:
Robby Russell 2019-12-20 22:43:34 -08:00
commit 674d0e1eed

View File

@ -38,7 +38,7 @@ colorize_via_pygmentize() {
colorize_via_pygmentize_less() ( colorize_via_pygmentize_less() (
# this function is a subshell so tmp_files can be shared to cleanup function # this function is a subshell so tmp_files can be shared to cleanup function
declare -a tmp_files declare -a tmp_files
cleanup () { cleanup () {
[[ ${#tmp_files} -gt 0 ]] && rm -f "${tmp_files[@]}" [[ ${#tmp_files} -gt 0 ]] && rm -f "${tmp_files[@]}"