summaryrefslogtreecommitdiff
path: root/user
diff options
context:
space:
mode:
authorMartin Fischer <martin@push-f.com>2025-02-23 10:11:54 +0100
committerMartin Fischer <martin@push-f.com>2025-02-23 15:20:27 +0100
commitdbd705bb9473186f9634a57aacee4f3e1f444773 (patch)
treed416dcdde1eb9676cede2c02853f95f7ed171218 /user
parent1b13fc637d9e7cdec40bc5cd75eb2f44a91da99b (diff)
feat(workstation): add zed
Diffstat (limited to 'user')
-rw-r--r--user/zed/settings.json68
-rw-r--r--user/zsh/zshrc-workstation.sh1
2 files changed, 69 insertions, 0 deletions
diff --git a/user/zed/settings.json b/user/zed/settings.json
new file mode 100644
index 0000000..f4a2ade
--- /dev/null
+++ b/user/zed/settings.json
@@ -0,0 +1,68 @@
+// 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)
+{
+ "vim_mode": true,
+ "ui_font_size": 18,
+ "buffer_font_size": 18,
+ // I'd rather use DejaVu Sans Mono but the font rendering looks bad (https://github.com/zed-industries/zed/issues/7992).
+ // "buffer_font_family": "DejaVu Sans Mono",
+ "theme": {
+ "mode": "dark",
+ "dark": "VSCode Dark Modern",
+ "light": "One Light"
+ },
+ "experimental.theme_overrides": {
+ "players": [
+ {
+ "cursor": "#aeafad",
+ "selection": "#264f78"
+ }
+ ]
+ },
+ "lsp": {
+ "rust-analyzer": {
+ "binary": {
+ "path": "/run/current-system/sw/bin/rust-analyzer"
+ }
+ }
+ },
+ "auto_install_extensions": {
+ // TODO: add extension for TODO/FIXME highlighting (https://github.com/zed-industries/extensions/issues/523)
+ // TODO: add extension for djot highlighting
+ "html": true,
+ "nix": true,
+ "sql": true,
+ "toml": true,
+ "vscode-dark-modern": true
+ },
+ "git": {
+ "inline_blame": { "enabled": false }
+ },
+ "telemetry": {
+ "diagnostics": false,
+ "metrics": false
+ },
+ "features": {
+ "inline_completion_provider": "none"
+ },
+ "assistant": {
+ "enabled": false,
+ "version": "2"
+ },
+ // The "Sign in" button in the title bar cannot be hidden :/ (https://github.com/zed-industries/zed/discussions/20146)
+ "collaboration_panel": {
+ "button": false
+ },
+ "chat_panel": {
+ "button": false
+ },
+ "notification_panel": {
+ "button": false
+ }
+}
diff --git a/user/zsh/zshrc-workstation.sh b/user/zsh/zshrc-workstation.sh
index 04f9c88..b174f0a 100644
--- a/user/zsh/zshrc-workstation.sh
+++ b/user/zsh/zshrc-workstation.sh
@@ -2,6 +2,7 @@
## Aliases
alias code='codium'
+alias zed=zeditor
alias tokei='tokei -s code -n commas'
## Environment variables