kitty: This got to be the last fix...

This commit is contained in:
Birger J. Nordølum
2018-05-11 19:41:46 +02:00
parent f1aa74f144
commit 7e4ec9f09d

View File

@@ -2910,10 +2910,11 @@ END
fi
term_font="$(awk '/^[\S\n_#]+?font_family\s+?/
{ $1 = ""; gsub(/^[[:space:]]/, ""); font = $0 }
/^[\S\n_#]+?font_size\s+?\d+?/
{ size = $2 } END { print font " " size}' \
term_font="$(awk '/^([[:space:]]*|[^#_])font_family[[:space:]]+/ \
{ $1 = ""; gsub(/^[[:space:]]/, ""); font = $0 } \
/^([[:space:]]*|[^#_])font_size[[:space:]]+/ \
{ size = $2 } \
END { print font " " size}' \
"${kitty_file}")"
;;