Merge pull request #981 from MindTooth/style_fix

kitty: style tweaks on regex
This commit is contained in:
Dylan Araps 2018-05-10 20:56:24 +00:00 committed by GitHub
commit f1aa74f144
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2910,8 +2910,10 @@ 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 '/^[\S\n_#]+?font_family\s+?/
{ $1 = ""; gsub(/^[[:space:]]/, ""); font = $0 }
/^[\S\n_#]+?font_size\s+?\d+?/
{ size = $2 } END { print font " " size}' \
"${kitty_file}")"
;;