Zed Configuration

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63

// 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 `zed: Open Default Settings` command
// from the command palette
{
  "agent": {
    "model_parameters": [],
    "default_model": {
      "provider": "openai",
      "model": "azureai.gpt-4o"
    },
    "version": "2"
  },
  "language_models": {
    "openai": {
      "api_url": "https://gpt-stage.ag.ch/api",
      "available_models": [
        {
          "name": "azureai.gpt-4o",
          "display_name": "azureai.gpt-4o",
          "max_tokens": 131072
        }
      ],
      "version": "1"
    }
  },
  "ssh_connections": [
    {
      "host": "svuas00079.ads.ktag.ch",
      "username": "adskkrr",
      "projects": [
        {
          "paths": ["/home"]
        },
        {
          "paths": ["/home/ADS.KTAG.CH/adskkrr"]
        },
        {
          "paths": ["~/$"]
        }
      ]
    }
  ],
  "telemetry": {
    "diagnostics": true,
    "metrics": false
  },
  "ui_font_size": 16,
  "buffer_font_size": 16,
  "theme": {
    "mode": "system",
    "light": "One Light",
    "dark": "Gruvbox Dark"
  },
  "alternate_scroll": "on",
  "[html]": {
    "format.enable": false
  }
}