Merge pull request #935 from aidanharris/fix-kitty-regex

Fix kitty font_size regex
This commit is contained in:
Dylan Araps 2018-04-02 09:33:47 +10:00 committed by GitHub
commit dedf90970d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

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