Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add Zed support for Linux external editor options #1085

Merged
merged 1 commit into from
Jul 1, 2024

Conversation

MVDW-Java
Copy link

Does not address any open issues

Description

  • Add Zed support for Linux external editor options

Screenshots

Release notes

Notes:

@shiftkey shiftkey merged commit 91eadc8 into shiftkey:linux Jul 1, 2024
9 checks passed
@adil192
Copy link

adil192 commented Jul 13, 2024

I've made a PR upstream here: desktop#18962

@shiftkey
Copy link
Owner

@adil192 I generally upstream the editors to the main project after a couple of releases, e.g. desktop#18745 - but contributors are fine to do that directly

@adil192
Copy link

adil192 commented Jul 16, 2024

@adil192 I generally upstream the editors to the main project after a couple of releases, e.g. desktop#18745 - but contributors are fine to do that directly

Ah maybe I should reopen my PR targeting this repo instead? My PR has a lot more paths for various OS packages

@shiftkey
Copy link
Owner

@adil192 up to you, but I could merge your PR and push out an update later this week of this change on top of the latest release. The upstream project has their own release schedule, and I generally wait for them to tag a release to use as a starting point for releases from this repository...

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.

4 participants