search

zed-industries / extensions

Extensions for the Zed editor
579 stars 230 forks source link

Aura #36

Open birobirobiro opened 4 months ago

birobirobiro commented 4 months ago

Check for existing issues

Misc notes

Describe the feature

Please add the Aura Theme to Zed.

If applicable, add mockups / screenshots to help present your vision of the feature

image

https://github.com/daltonmenezes/aura-theme

dustessavdh commented 1 month ago

Hi, I've created a PR (https://github.com/daltonmenezes/aura-theme/pull/212) in the aura theme repo to include zed support.

However, I've had some trouble creating a PR for this repo to add it to the list. I managed to add the repo as a submodule and using sparse-checkout I managed to only include the zed package. The problem I'm seeing is that the files will be under packages/zed and not in the root of the submodule. Does this matter? Or does someone know how to fix this?

dustessavdh commented 1 month ago

I think I've figured it out! I can set the path for the extension in the extensions.toml file just like for all extensions coming from the zed repo. E.g. https://github.com/zed-industries/extensions/blob/f2f4299b064f8ae30ba7df853ad189ffea468c03/extensions.toml#L23

I will make a PR once the port is on the main branch of the aura repo