Skip to content

Add dev support for Zed#111

Open
jellllly420 wants to merge 2 commits intoRPL-Toolchain:masterfrom
jellllly420:feat/zed
Open

Add dev support for Zed#111
jellllly420 wants to merge 2 commits intoRPL-Toolchain:masterfrom
jellllly420:feat/zed

Conversation

@jellllly420
Copy link

@jellllly420 jellllly420 commented Feb 4, 2026

I've been trying Zed these days so this PR is to see if we need dev support for Zed. Feel free to close it if you think it's unnecessary.

Basically it adds

  • an editor-agnostic devcontainer configuration file (which I think is important for Zed) and,
  • a Zed configuration file for rust-analyzer to work correctly in our project.

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.

1 participant