Tweak kitty font regex

This commit is contained in:
Birger J. Nordølum 2018-05-06 14:02:04 +02:00
parent 8fe3130cbe
commit f765caa038
No known key found for this signature in database
GPG key ID: 1E2DC712B50089CC

View file

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