From 98bb3499c9f954fef3930288a1e873cc5e7c3b4a Mon Sep 17 00:00:00 2001 From: Salar Rahmanian Date: Sun, 23 Mar 2025 13:09:18 -0700 Subject: [PATCH] update kitty font size, updates to zed config --- home.nix | 2 +- programs/zed/default.nix | 23 +++++++++++++++++++---- 2 files changed, 20 insertions(+), 5 deletions(-) diff --git a/home.nix b/home.nix index fc90df3..29494c0 100644 --- a/home.nix +++ b/home.nix @@ -200,7 +200,7 @@ themeFile = "Tango_Dark"; font = { name = "SF Mono"; - size = 16; + size = 13; }; settings = { copy_on_select = true; diff --git a/programs/zed/default.nix b/programs/zed/default.nix index 40a4f30..c33b90d 100644 --- a/programs/zed/default.nix +++ b/programs/zed/default.nix @@ -20,13 +20,28 @@ in version = "2"; default_model = { provider = "copilot_chat"; - model = "gpt-4o"; + model = "claude-3-7-sonnet"; }; }; features = { copilot = true; }; language_models = { + anthropic = { + available_models = [ + { + provider = "anthropic"; + name = "claude-3-7-sonnet"; + max_tokens = 128000; + cache_configuration = { + max_cache_anchors = 10; + min_total_token = 10000; + should_speculate = false; + }; + } + ]; + version = "1"; + }; openai = { available_models = [ { @@ -36,15 +51,15 @@ in } { provider = "openai"; - name = "gpt-4o-mini"; + name = "o3-mini"; max_tokens = 128000; } ]; - version = "2"; + version = "1"; }; }; telemetry.metrics = false; - theme = "Andromeda"; + theme = "Gruvbox Dark"; vim_mode = true; }; };