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" - } -}