Fix kitty font_size regex

2025-10-03 16:51:29 +00:00 · 2018-03-27 21:28:45 +01:00
parent 81db772a5d
commit 7fbab49ec3
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@@ -2082,7 +2082,7 @@ END
            fi

            term_font="$(awk '/font_family/ { $1 = ""; gsub(/^[[:space:]]/, ""); font = $0 } \
-                         /font_size/ { size = $2 } END { print font " " size}' \
+                         /\s?font_size\s/ { size = $2 } END { print font " " size}' \
                         "${kitty_file}")"
        ;;