Merge pull request #1262 from lebensterben/kittyFontParsing

Fix kitty font parsing when font name has whitespaces
This commit is contained in:
black 2019-06-07 10:10:00 +03:00 committed by GitHub
commit df520a0a45
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2981,7 +2981,8 @@ END
kitty_config="$(kitty --debug-config)"
[[ "$kitty_config" != *font_family* ]] && return
term_font="$(awk '/^font_family|^font_size/ {printf $2 " "}' <<< "$kitty_config")"
term_font="$(awk '/^font_family|^font_size/ {$1="";gsub("^ *","",$0);print $0}' \
<<< "$kitty_config")"
;;
"konsole" | "yakuake")