From 96b1a05f73d3f20743f0f631822ad36e05f5e90b Mon Sep 17 00:00:00 2001
From: Marco <mrckndt@riseup.net>
Date: Sat, 6 Jun 2026 01:22:35 +0200
Subject: [PATCH] add zed

---
 zed/.config/zed/settings.json | 45 +++++++++++++++++++++++++++++++++++
 1 file changed, 45 insertions(+)
 create mode 100644 zed/.config/zed/settings.json

diff --git a/zed/.config/zed/settings.json b/zed/.config/zed/settings.json
new file mode 100644
index 0000000..6fdedae
--- /dev/null
+++ b/zed/.config/zed/settings.json
@@ -0,0 +1,45 @@
+// 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)
+{
+  "agent_buffer_font_size": 15.0,
+  "agent": {
+    "default_model": {
+      "provider": "mistral",
+      "model": "mistral-medium-latest",
+      "enable_thinking": false,
+    },
+    "favorite_models": [
+      {
+        "provider": "mistral",
+        "model": "mistral-medium-latest",
+        "enable_thinking": false,
+      },
+      {
+        "provider": "mistral",
+        "model": "mistral-large-latest",
+        "enable_thinking": false,
+      },
+      {
+        "provider": "mistral",
+        "model": "devstral-medium-latest",
+        "enable_thinking": false,
+      },
+    ],
+    "model_parameters": [],
+  },
+  "telemetry": {
+    "diagnostics": false,
+    "metrics": false,
+  },
+  "base_keymap": "VSCode",
+  "buffer_font_family": "Fantasque Sans Mono",
+  "show_whitespaces": "all",
+  "vim_mode": true,
+  "theme": "Gruvbox Dark Soft",
+}