chore(wezterm): ignore diagnostics for undefined-field in cwd_uri

2023-08-31 18:34:56 -05:00 · 2023-08-31 18:34:56 -05:00 · f4a6a72fde
commit f4a6a72fde
parent f4880596aa
1 changed files with 2 additions and 0 deletions
--- a/dots/.config/wezterm/config/tabbar.lua
+++ b/dots/.config/wezterm/config/tabbar.lua
@ -70,7 +70,9 @@ wezterm.on("update-right-status", function(window, pane)
    if type(cwd_uri) == "userdata" then
        -- Running on a newer version of wezterm and we have
        -- a URL object here, making this simple!
+        ---@diagnostic disable-next-line: undefined-field
        cwd = cwd_uri.file_path
+        ---@diagnostic disable-next-line: undefined-field
        hostname = cwd_uri.host or wezterm.hostname()
    else
        -- an older version of wezterm, 20230712-072601-f4abf8fd or earlier,