8000 refactor: remove devshell; add formatter; cleanup by amadaluzia · Pull Request #29 · molarmanful/kirsch · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

refactor: remove devshell; add formatter; cleanup #29

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

Merged
merged 1 commit into from
Apr 20, 2025

Conversation

amadaluzia
Copy link
Contributor

Does this break anything?

I don't think it should.

What does this change/add/delete?

pkgs.mkShell is a healthier way to create a nix shell with your chosen programs and shell hooks. devshell isn't really needed in this case since you can reasonably achieve everything here by adding the shell hook and the packages to pkgs.mkShell while also making the flake needlessly larger.

I also added a formatter (with some probably devilish tricks) to format the flake without needing to use treefmt or other unneeded tree formatting solutions.

I additionally reworked the inputs a small fraction to reduce the size of the flake (using follows consistently for example).

Do I intend to add more commits to this PR?

No, not really.

I don't think it should.

`pkgs.mkShell` is a healthier way to create a nix shell with your chosen
programs and shell hooks. `devshell` isn't really needed in this case since
you can reasonably achieve everything here by adding the shell hook and the
packages to `pkgs.mkShell` while also making the flake needlessly larger.

I also added a formatter (with some probably devilish tricks) to format the
flake without needing to use treefmt or other unneeded tree formatting
solutions.

I additionally reworked the inputs a small fraction to reduce the size of
the flake (using follows consistently for example).

No, not really.
@molarmanful molarmanful merged commit 46c03c3 into molarmanful:main Apr 20, 2025
1 check passed
@molarmanful
Copy link
Owner

Thank you for the PR! Truth be told, I haven't got much value out of devshell aside from the nice devshell startup message 😅

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.

2 participants
0