From bf463b7e619401dc1c36a84afb542a5797a77d26 Mon Sep 17 00:00:00 2001
From: Michele Cereda <cereda.michele@gmail.com>
Date: Sun, 7 Jul 2024 19:25:18 +0200
Subject: [PATCH] fix(zed): put config file example where it belongs

---
 examples/dotfiles/.config/zed/settings.json | 15 +++++++++++++++
 examples/zed/settings.json                  |  3 ---
 2 files changed, 15 insertions(+), 3 deletions(-)
 create mode 100644 examples/dotfiles/.config/zed/settings.json
 delete mode 100644 examples/zed/settings.json

diff --git a/examples/dotfiles/.config/zed/settings.json b/examples/dotfiles/.config/zed/settings.json
new file mode 100644
index 0000000..8ef30c3
--- /dev/null
+++ b/examples/dotfiles/.config/zed/settings.json
@@ -0,0 +1,15 @@
+// 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 the `open default settings` command
+// from the command palette or from `Zed` application menu.
+{
+  "ui_font_size": 16,
+  "buffer_font_size": 16,
+  "features": {
+    "inline_completion_provider": "none" // Disable copilot
+  }
+}
diff --git a/examples/zed/settings.json b/examples/zed/settings.json
deleted file mode 100644
index bac13de..0000000
--- a/examples/zed/settings.json
+++ /dev/null
@@ -1,3 +0,0 @@
-{
-    "autosave": "off"
-}