1
0
Fork 0
mirror of https://github.com/xHyroM/void-packages.git synced 2024-11-22 22:41:05 +01:00
void-packages/srcpkgs/zed/patches/0001-tweak-default-conf-for-privacy.patch

86 lines
2.8 KiB
Diff
Raw Normal View History

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