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.

Sign up for GitHub

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

Jump to bottom

Interop between devenv and https://github.com/numtide/devshell #386

Closed
adrian-gierakowski opened this issue Feb 9, 2023 · 4 comments
Closed

Interop between devenv and https://github.com/numtide/devshell #386

adrian-gierakowski opened this issue Feb 9, 2023 · 4 comments

Comments

@adrian-gierakowski
Copy link

I see useful things in both projects.

Devshell is extensible and there exist various 3rd party modules (like https://github.com/cruel-intentions/devshell-files).

Is there a clean way to leverage both projects (and their extensions) together?
@adrian-gierakowski
Copy link
Author

adrian-gierakowski commented Feb 9, 2023 •
edited
Loading

I’ve just joined the discord and found this

In which case it would be great if there was a guide on how to use devshell modules with devenv (or how to migrate them)

@adrian-gierakowski adrian-gierakowski mentioned this issue Feb 9, 2023
Open
@hugosenari
Copy link
Contributor

I wish I could open discord to read that 😉

@domenkozar
Copy link
Member

See #142

@domenkozar
Copy link
Member

For the extending guide see #340

I've been talking to @zimbatm to decide the fate of devshell, currently leaning towards devenv as the successor.

I'm going to close this as I think it's best to talk about specific problems in respective issues

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@domenkozar @adrian-gierakowski @hugosenari