Skip to content

Update readme section for Zed extension, keep it as dev while PR is in review - #25

Merged
flowerett merged 2 commits into
remoteoss:mainfrom
flowerett:update-zed-readme-section
Apr 13, 2026
Merged

Update readme section for Zed extension, keep it as dev while PR is in review#25
flowerett merged 2 commits into
remoteoss:mainfrom
flowerett:update-zed-readme-section

Conversation

@flowerett

@flowerett flowerett commented Apr 13, 2026

Copy link
Copy Markdown
Contributor

official extension is in review


Note

Low Risk
Documentation-only change that updates Zed installation steps and configuration; no code or runtime behavior is affected.

Overview
Updates the README.md Zed setup section to clarify that Dexter support is currently provided via a dev Zed extension (pending the official Elixir extension PR) and replaces the prior install steps with instructions to clone/install the dev extension and configure language_servers/optional binary path in settings.json.

Reviewed by Cursor Bugbot for commit e12442c. Bugbot is set up for automated code reviews on this repo. Configure here.

@flowerett

Copy link
Copy Markdown
Contributor Author

Hey @JesseHerrick I guess using the main Elixir extension should be the way to go, so I guess we can drop Dexter Zed completely and allow to install from my fork as a dev extension.

So I've updated the README

@flowerett
flowerett requested a review from JesseHerrick April 13, 2026 14:47
@JesseHerrick

Copy link
Copy Markdown
Member

Looks great, thanks! Up to you on if you want to merge this or wait and just merge the full readme update when everything is merged. Not sure how long it'll take.

@flowerett flowerett changed the title update readme section for Zed extension, keep it as dev while PR for Update readme section for Zed extension, keep it as dev while PR is in review Apr 13, 2026
@flowerett
flowerett merged commit 2b96ffa into remoteoss:main Apr 13, 2026
5 checks passed
@flowerett
flowerett deleted the update-zed-readme-section branch April 13, 2026 15:25
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