1
0
Fork 0
mirror of https://github.com/xHyroM/void-packages.git synced 2024-09-19 20:13:19 +02:00

packages(zed): patches

This commit is contained in:
Jozef Steinhübl 2024-07-18 15:59:12 +02:00
parent 34e5c4b445
commit f44410225a
No known key found for this signature in database
GPG key ID: E6BC90C91973B08F
2 changed files with 76 additions and 76 deletions

View file

@ -1,85 +1,85 @@
diff --git a/assets/settings/default.json b/assets/settings/default.json diff --git a/assets/settings/default.json.old b/assets/settings/default.json
index e7005177..c864db10 100644 index 0ab3b1d9..d7b88b41 100644
--- a/assets/settings/default.json --- a/assets/settings/default.json.old
+++ b/assets/settings/default.json +++ b/assets/settings/default.json
@@ -25,8 +25,10 @@ @@ -25,8 +25,10 @@
"base_keymap": "VSCode", "base_keymap": "VSCode",
// Features that can be globally enabled or disabled // Features that can be globally enabled or disabled
"features": { "features": {
+ // Disables copilot by default + // Disables copilot by default
+ "copilot": false, + "copilot": false,
// Which inline completion provider to use. // Which inline completion provider to use.
- "inline_completion_provider": "copilot" - "inline_completion_provider": "copilot"
+ "inline_completion_provider": "none" + "inline_completion_provider": "none"
}, },
// The name of a font to use for rendering text in the editor // The name of a font to use for rendering text in the editor
"buffer_font_family": "Zed Mono", "buffer_font_family": "Zed Mono",
@@ -335,7 +337,7 @@ @@ -335,7 +337,7 @@
// Version of this setting. // Version of this setting.
"version": "1", "version": "1",
// Whether the assistant is enabled. // Whether the assistant is enabled.
- "enabled": true, - "enabled": true,
+ "enabled": false, + "enabled": false,
// Whether to show the assistant panel button in the status bar. // Whether to show the assistant panel button in the status bar.
"button": true, "button": true,
// Where to dock the assistant panel. Can be 'left', 'right' or 'bottom'. // Where to dock the assistant panel. Can be 'left', 'right' or 'bottom'.
@@ -458,13 +460,13 @@ @@ -458,13 +460,13 @@
// Control what info is collected by Zed. // Control what info is collected by Zed.
"telemetry": { "telemetry": {
// Send debug info like crash reports. // Send debug info like crash reports.
- "diagnostics": true, - "diagnostics": true,
+ "diagnostics": false, + "diagnostics": false,
// Send anonymized usage data like what languages you're using Zed with. // Send anonymized usage data like what languages you're using Zed with.
- "metrics": true - "metrics": true
+ "metrics": false + "metrics": false
}, },
// Automatically update Zed. This setting may be ignored on Linux if // Automatically update Zed. This setting may be ignored on Linux if
// installed through a package manager. // installed through a package manager.
- "auto_update": true, - "auto_update": true,
+ "auto_update": false, + "auto_update": false,
// Diagnostics configuration. // Diagnostics configuration.
"diagnostics": { "diagnostics": {
// Whether to show warnings or not by default. // Whether to show warnings or not by default.
@@ -513,7 +515,7 @@ @@ -513,7 +515,7 @@
// May take 2 values: // May take 2 values:
// 1. hour12 // 1. hour12
// 2. hour24 // 2. hour24
- "hour_format": "hour12" - "hour_format": "hour12"
+ "hour_format": "hour24" + "hour_format": "hour24"
}, },
// Settings specific to the terminal // Settings specific to the terminal
"terminal": { "terminal": {
diff --git a/assets/settings/initial_user_settings.json b/assets/settings/initial_user_settings.json diff --git a/assets/settings/initial_user_settings.json.old b/assets/settings/initial_user_settings.json
index f42e7778..3cc3c23d 100644 index 75d4a026..53b0a30d 100644
--- a/assets/settings/initial_user_settings.json --- a/assets/settings/initial_user_settings.json.old
+++ b/assets/settings/initial_user_settings.json +++ b/assets/settings/initial_user_settings.json
@@ -9,4 +9,29 @@ @@ -9,4 +9,29 @@
{ {
"ui_font_size": 16, "ui_font_size": 16,
"buffer_font_size": 16 "buffer_font_size": 16
+ +
+ // The following settings have been changed from the upstream defaults to + // The following settings have been changed from the upstream defaults to
+ // improve security and privacy. Here are the upstream defaults, you can + // improve security and privacy. Here are the upstream defaults, you can
+ // uncomment them if you like. + // uncomment them if you like.
+ // + //
+ // "features": { + // "features": {
+ // // Enable copilot (provided by an online service). + // // Enable copilot (provided by an online service).
+ // "copilot": true, + // "copilot": true,
+ // "inline_completion_provider": "copilot" + // "inline_completion_provider": "copilot"
+ // }, + // },
+ // "assistant": { + // "assistant": {
+ // "version": "1", + // "version": "1",
+ // // Enable the assistant (provided by an online service). + // // Enable the assistant (provided by an online service).
+ // "enabled": true + // "enabled": true
+ // }, + // },
+ // "telemetry": { + // "telemetry": {
+ // // Send debug info like crash reports to Zed Industries. + // // Send debug info like crash reports to Zed Industries.
+ // "diagnostics": true, + // "diagnostics": true,
+ // // Send anonymized usage data like what languages you're using Zed with + // // Send anonymized usage data like what languages you're using Zed with
+ // // to Zed Industries. + // // to Zed Industries.
+ // "metrics": true + // "metrics": true
+ // }, + // },
+ // "journal": { + // "journal": {
+ // "hour_format": "hour12" + // "hour_format": "hour12"
+ // } + // }
} }