terminal font [kitty]: Use kitty command instead of parsing config files. Closes #1150

This commit is contained in:
Dylan Araps 2019-01-07 21:18:33 +02:00
parent 679aa306fb
commit a450fc88c5

View file

@ -2880,21 +2880,11 @@ END
;;
"kitty"*)
shopt -s nullglob
confs=({$KITTY_CONFIG_DIRECTORY,$XDG_CONFIG_HOME,~/Library/Preferences}/kitty/kitty.con?)
shopt -u nullglob
[[ -f "${confs[0]}" ]] || return
term_font="$(awk '/^([[:space:]]*|[^#_])font_family[[:space:]]+/ {
$1 = "";
gsub(/^[[:space:]]/, "");
font = $0
}
/^([[:space:]]*|[^#_])font_size[[:space:]]+/ {
size = $2
}
END {print font,size}' "${confs[0]}")"
kitty_config="$(kitty --debug-config)"
term_font_size="${kitty_config/*font_size}"
term_font_size="${term_font_size/$'\n'*}"
term_font="${kitty_config/*font_family}"
term_font="${term_font/$'\n'*} $term_font_size"
;;
"konsole" | "yakuake")