Skip to content

feat: zed editor installation and config#78

Merged
davidjenni merged 3 commits into
mainfrom
zed
Jun 8, 2026
Merged

feat: zed editor installation and config#78
davidjenni merged 3 commits into
mainfrom
zed

Conversation

@davidjenni

Copy link
Copy Markdown
Owner

No description provided.

Copilot AI review requested due to automatic review settings June 8, 2026 00:04

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Adds Zed editor support to this dotfiles repo by installing it during bootstrap and provisioning a default Zed configuration (settings + keymap) alongside existing shell/editor tooling.

Changes:

  • Add Zed configuration files (zed/settings.json, zed/keymap.json) with editor/agent/vim/keybinding preferences.
  • Install Zed via Homebrew and WinGet and copy the config into the appropriate per-user config locations during bootstrap.
  • Adjust repo tooling/config: include JSON in the 2-space .editorconfig rule and add keymap to VS Code cSpell words.

Reviewed changes

Copilot reviewed 6 out of 6 changed files in this pull request and generated 1 comment.

Show a summary per file
File Description
zed/settings.json Introduces baseline Zed settings (UI/fonts/theme/vim/agent preferences).
zed/keymap.json Adds custom Zed keybindings (vim/workspace/project panel navigation).
bootstrap.sh Installs Zed via brew and copies Zed config into ~/.config/zed.
bootstrap.ps1 Installs Zed via winget and copies Zed config into %APPDATA%\zed.
.vscode/settings.json Updates spellchecker dictionary to include “keymap”.
.editorconfig Applies 2-space indentation rules to JSON files (in addition to lua/sh/yml).

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Comment thread .editorconfig Outdated
davidjenni and others added 2 commits June 7, 2026 17:50
Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>
@davidjenni
davidjenni merged commit 32e793d into main Jun 8, 2026
3 checks passed
@davidjenni
davidjenni deleted the zed branch June 8, 2026 01:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants