Merge pull request #1193 from SibrenVasse/kitty-fix

Robuster kitty font parsing
This commit is contained in:
black 2019-02-08 17:33:31 +02:00 committed by GitHub
commit 11d8aa683a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2912,10 +2912,7 @@ END
kitty_config="$(kitty --debug-config)" kitty_config="$(kitty --debug-config)"
[[ "$kitty_config" != *font_family* ]] && return [[ "$kitty_config" != *font_family* ]] && return
term_font_size="${kitty_config/*font_size}" term_font="$(awk '/^font_family|^font_size/ {printf $2 " "}' <<< "$kitty_config")"
term_font_size="${term_font_size/$'\n'*}"
term_font="${kitty_config/*font_family}"
term_font="${term_font/$'\n'*} $term_font_size"
;; ;;
"konsole" | "yakuake") "konsole" | "yakuake")