Skip to content

Fixed nix flake#689

Merged
louis-e merged 2 commits intolouis-e:mainfrom
MysaaJava:main
Feb 9, 2026
Merged

Fixed nix flake#689
louis-e merged 2 commits intolouis-e:mainfrom
MysaaJava:main

Conversation

@MysaaJava
Copy link
Contributor

Hello.
The nix flake was oddly written, and it only allowed to enter a development shell.
I rewrote it so it actually builds the package, therefore i added a README entry describing how to run directly the package from nix.
It is still possible to enter a development shell with nix develop (nix users should know how to do that)

Don't hesitate if you have any questions ! And thank you for managing this projet.

Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR refactors the Nix flake configuration to build the arnis package directly rather than only providing a development shell. It removes the flake-utils dependency and adds documentation for running the application via Nix.

Changes:

  • Rewrote flake.nix to define package and app outputs for building and running arnis
  • Removed flake-utils dependency from flake inputs and lock file
  • Added README documentation for running arnis directly via nix run

Reviewed changes

Copilot reviewed 2 out of 3 changed files in this pull request and generated 2 comments.

File Description
flake.nix Complete rewrite to add package building with rustPlatform.buildRustPackage, define app outputs, and remove flake-utils dependency
flake.lock Removed flake-utils and systems dependencies to reflect simplified flake inputs
README.md Added command example for running arnis via nix

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Co-authored-by: Copilot <[email protected]>
@louis-e
Copy link
Owner

louis-e commented Feb 9, 2026

Sorry for the late follow up and thanks for the contribution! LGTM

@louis-e louis-e merged commit 230d233 into louis-e:main Feb 9, 2026
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.

3 participants