Rust Port #1
Loading…
Reference in a new issue
No description provided.
Delete branch "rust-port"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
This PR ports all of the Python launcher scripts to Rust.
This doesn't presently include the Java version fetching command, though that may come later.
Also overhauls the Nix flake for Rust development. No Nix package yet, although it'd be fairly trivial to add one.
HELPER_MAX_RAM_PERCENTAGEenvironment variable back bafffbcb51