2024-11-10 20:50:48 -08:00
|
|
|
{ ... }:
|
|
|
|
let
|
|
|
|
myextensions = [
|
|
|
|
"fish"
|
|
|
|
"lua"
|
|
|
|
"nix"
|
2025-09-20 16:05:58 -07:00
|
|
|
"pyrefly"
|
2024-11-10 20:50:48 -08:00
|
|
|
"ruff"
|
|
|
|
"scala"
|
|
|
|
"sql"
|
|
|
|
"swift"
|
|
|
|
"toml"
|
|
|
|
];
|
|
|
|
in
|
|
|
|
{
|
|
|
|
programs.zed-editor = {
|
|
|
|
enable = true;
|
|
|
|
extensions = myextensions;
|
|
|
|
userSettings = {
|
2025-09-20 16:05:58 -07:00
|
|
|
agent = {
|
2024-12-18 22:15:42 -08:00
|
|
|
default_model = {
|
|
|
|
provider = "copilot_chat";
|
2025-09-20 16:05:58 -07:00
|
|
|
model = "claude-4-sonnet";
|
2024-12-18 22:15:42 -08:00
|
|
|
};
|
|
|
|
};
|
|
|
|
language_models = {
|
2025-03-23 13:09:18 -07:00
|
|
|
anthropic = {
|
|
|
|
available_models = [
|
|
|
|
{
|
2025-09-20 16:05:58 -07:00
|
|
|
name = "claude-sonnet-4-20250514";
|
|
|
|
max_tokens = 200000;
|
2025-03-23 13:09:18 -07:00
|
|
|
cache_configuration = {
|
|
|
|
max_cache_anchors = 10;
|
|
|
|
min_total_token = 10000;
|
|
|
|
should_speculate = false;
|
|
|
|
};
|
|
|
|
}
|
|
|
|
];
|
|
|
|
};
|
2024-12-18 22:15:42 -08:00
|
|
|
openai = {
|
|
|
|
available_models = [
|
|
|
|
{
|
2025-09-20 16:05:58 -07:00
|
|
|
name = "gpt-5";
|
|
|
|
display_name = "gpt-5 high";
|
|
|
|
reasoning_effort = "high";
|
|
|
|
max_tokens = 272000;
|
|
|
|
max_completion_tokens = 20000;
|
2024-12-18 22:15:42 -08:00
|
|
|
}
|
|
|
|
];
|
|
|
|
};
|
|
|
|
};
|
2024-11-10 20:50:48 -08:00
|
|
|
telemetry.metrics = false;
|
2025-03-24 01:12:53 -07:00
|
|
|
theme = "Gruvbox Dark Hard";
|
2024-11-10 20:50:48 -08:00
|
|
|
vim_mode = true;
|
|
|
|
};
|
|
|
|
};
|
|
|
|
}
|