Skip to content

Instantly share code, notes, and snippets.

@jerlendds
Created October 14, 2025 12:56
Show Gist options
  • Select an option

  • Save jerlendds/fd2a23b29ac2d4f0e0d91be6b4d869d9 to your computer and use it in GitHub Desktop.

Select an option

Save jerlendds/fd2a23b29ac2d4f0e0d91be6b4d869d9 to your computer and use it in GitHub Desktop.
.config/zed/settings.json
// Zed settings
//
// For information on how to configure Zed, see the Zed
// documentation: https://zed.dev/docs/configuring-zed
//
// To see all of Zed's default settings without changing your
// custom settings, run `zed: open default settings` from the
// command palette (cmd-shift-p / ctrl-shift-p)
{
"context_servers": {
"postgres-context-server": {
"source": "extension",
"enabled": true,
"settings": {
"database_url": "postgresql://postgres:password@localhost:55432/app"
}
},
"mcp-server-context7": {
"source": "extension",
"enabled": true,
"settings": {
"context7_api_key": ""
}
}
},
"agent": {
"model_parameters": [],
"default_model": {
"provider": "openai",
"model": "gpt-4o"
}
},
"collaboration_panel": {
"dock": "right"
},
"project_panel": {
"dock": "right"
},
"ui_font_size": 16,
"buffer_font_size": 13,
"theme": {
"mode": "system",
"light": "Ayu Dark",
"dark": "Nightfox - opaque"
},
"soft_wrap": "editor_width",
"autosave": {
"after_delay": {
"milliseconds": 700
}
},
"buffer_font_family": "Hack",
"buffer_line_height": "standard",
"terminal": {
"font_family": "Noto Sans Mono",
"line_height": "standard"
},
"line_indicator_format": "long",
"agent_servers": {
"Codex": {
"command": "codex-acp",
"args": [],
"env": {
"RUST_LOG": "info"
}
}
}
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment