Better kitty terminal font detection (#1795)

* Better kitty terminal font detection

* Fix indent
This commit is contained in:
Kid 2021-06-25 15:10:22 +08:00 committed by GitHub
parent 8fc31ac001
commit cc39539c55
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 5 deletions

View File

@ -3428,11 +3428,9 @@ END
;; ;;
"kitty"*) "kitty"*)
kitty_config="$(kitty --debug-config)" term_font="from kitty.cli import *; o = create_default_opts(); \
[[ "$kitty_config" != *font_family* ]] && return print(f'{o.font_family} {o.font_size}')"
term_font="$(kitty +runpy ''"$term_font"'')"
term_font="$(awk '/^font_family|^font_size/ {$1="";gsub("^ *","",$0);print $0}' \
<<< "$kitty_config")"
;; ;;
"konsole" | "yakuake") "konsole" | "yakuake")