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

Does that also work with nix develop? #30

Open
gabyx opened this issue Nov 20, 2023 · 4 comments
Open

Does that also work with nix develop? #30

gabyx opened this issue Nov 20, 2023 · 4 comments

Comments

@gabyx
Copy link

gabyx commented Nov 20, 2023

Does that also work with nix develop?
How can we improve this here?

BR
@manuelbb-upb
Copy link

had the same issue. did manage to get it working with zsh and nix develop.
See this branch: https://github.com/manuelbb-upb/any-nix-shell/tree/nix_develop
I also crudely built a flake so that I can use the custom any-nix-shell in my home-manager.

@gabyx
Copy link
Author

gabyx commented Jan 11, 2024

Might be worth a PR dont you think?

@calebstewart calebstewart mentioned this issue Jun 3, 2024
Merged
@haslersn
Copy link
Owner

As already argued in #12 (comment), I deliberately didn't support nix develop, because there's already the nix shell command for the case where you want your default shell. Do you disagree with my argument there?

@Bvngee
Copy link

Bvngee commented Jan 3, 2025

I believe this can be closed now, as of #34? Correct me if I'm wrong

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
4 participants
@gabyx @haslersn @manuelbb-upb @Bvngee