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

Jetbrains IDEs with plugins? #189183

Closed
GenericNerdyUsername opened this issue Aug 31, 2022 · 3 comments · Fixed by #223593
Closed

Jetbrains IDEs with plugins? #189183

GenericNerdyUsername opened this issue Aug 31, 2022 · 3 comments · Fixed by #223593

Comments

@GenericNerdyUsername
Copy link
Contributor

GenericNerdyUsername commented Aug 31, 2022

Project description
I feel it would be beneficial for extensions to be in the store instead of/in addition to the regular mechanism. For example, #188488 adds a dependency which most people won't use, but is a pain to set up otherwise, and I doubt go is the only extension where this is the case.

I'm planning on doing this myself, but made this issue because I have other things to work on first.

@gbtb
Copy link
Member

gbtb commented Sep 1, 2022

Considering plugins, I think we can look at what vscode packages do. There are 3 versions of them: without plugin support, with FHS environment which allows imperative installation of plugins, and fully declarative variant.

@GenericNerdyUsername
Copy link
Contributor Author

GenericNerdyUsername commented Sep 13, 2022

so turns out theres just a plugins directory, and all you have to do is copy the .jar or extract the .zip in there. Would it be better to symlink unzipped versions or extract/copy them at build?

@gbtb
Copy link
Member

gbtb commented Sep 14, 2022

If you're going to install plugins as separate derivations in the /nix/store, then symlinking is a better approach.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
2 participants