From 3ec16d6dd7c4cd53c342833d9281918392d7f224 Mon Sep 17 00:00:00 2001 From: TolaMironcenko Date: Thu, 17 Jul 2025 11:53:52 +0700 Subject: [PATCH] Delete settings.json --- zed/settings.json | 43 ------------------------------------------- 1 file changed, 43 deletions(-) delete mode 100644 zed/settings.json diff --git a/zed/settings.json b/zed/settings.json deleted file mode 100644 index 66e45f9..0000000 --- a/zed/settings.json +++ /dev/null @@ -1,43 +0,0 @@ -// 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) -{ - "ssh_connections": [ - { - "host": "gitea.home.com", - "username": "tola", - "port": 2223, - "projects": [ - { - "paths": [ - "~/Documents/cpp/auth_service" - ] - }, - { - "paths": [ - "~/Documents/cpp/openrouter" - ] - }, - { - "paths": [ - "~/Documents/web/dns_service_web" - ] - } - ] - } - ], - "icon_theme": "Material Icon Theme", - "ui_font_family": "JetBrainsMono Nerd Font Mono", - "ui_font_size": 16, - "buffer_font_size": 16, - "theme": { - "mode": "system", - "light": "Github Dark", - "dark": "Github Dark" - } -}