From 6cc181cf3cc638231fb5395d2398fad745ddde31 Mon Sep 17 00:00:00 2001 From: William Date: Tue, 20 Aug 2024 10:11:39 -0300 Subject: [PATCH] wezterm width based on hostname --- users/desktops/common/programs/wezterm.nix | 14 +++++++++++++- 1 file changed, 13 insertions(+), 1 deletion(-) diff --git a/users/desktops/common/programs/wezterm.nix b/users/desktops/common/programs/wezterm.nix index 61791f6..b58a978 100644 --- a/users/desktops/common/programs/wezterm.nix +++ b/users/desktops/common/programs/wezterm.nix @@ -6,6 +6,18 @@ extraConfig = '' local act = wezterm.action + local function get_initial_cols_by_hostname() + local hostname = wezterm.hostname() + + if hostname == "rotterdam" then + return 110 + elseif hostname == "io" then + return 94 + else + return 108 + end + end + return { disable_default_key_bindings = true, color_scheme = "Catppuccin Mocha", @@ -13,7 +25,7 @@ {family = "Hack Nerd Font", scale = 1}, {family = "Noto Color Emoji", scale = 1}, }), - initial_cols = 108, + initial_cols = get_initial_cols_by_hostname(), initial_rows = 32, enable_scroll_bar = true, inactive_pane_hsb = {