Merge pull request #973 from MindTooth/tweak_kitty_regex

tweak kitty font regex
This commit is contained in:
Dylan Araps 2018-05-08 23:35:18 +00:00 committed by GitHub
commit a5f5be869c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2907,7 +2907,7 @@ END
fi
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}")"
;;