From 97787f718d8c369a798f6be7a46e5d52f4f779db Mon Sep 17 00:00:00 2001 From: jk <47693+sectore@users.noreply.github.com> Date: Sun, 26 Jan 2025 18:49:14 +0100 Subject: [PATCH] remove editor settings (zed) --- .zed/settings.json | 30 ------------------------------ 1 file changed, 30 deletions(-) delete mode 100644 .zed/settings.json diff --git a/.zed/settings.json b/.zed/settings.json deleted file mode 100644 index 2bf41b4..0000000 --- a/.zed/settings.json +++ /dev/null @@ -1,30 +0,0 @@ -// Folder-specific settings -// -// For a full list of overridable settings, and general information on folder-specific settings, -// see the documentation: https://zed.dev/docs/configuring-zed#settings-files -{ - "format_on_save": "on", - "formatter": "language_server", - "lsp": { - "rust-analyzer": { - "initialization_options": { - "check": { - "command": "clippy" // rust-analyzer.check.command (default: "check") - } - } - } - }, - "languages": { - "Nix": { - "formatter": { - "external": { - "command": "alejandra", - "arguments": [ - "-q" - ] - } - }, - "format_on_save": "on" - } - } -}