Skip to content

Add Nix flake with dev shell and prebuilt run target#712

Open
0x4bs3nt wants to merge 1 commit into
athasdev:masterfrom
0x4bs3nt:feat/nix-support
Open

Add Nix flake with dev shell and prebuilt run target#712
0x4bs3nt wants to merge 1 commit into
athasdev:masterfrom
0x4bs3nt:feat/nix-support

Conversation

@0x4bs3nt
Copy link
Copy Markdown

@0x4bs3nt 0x4bs3nt commented Jun 1, 2026

Add Nix support so contributors get a reproducible dev shell and anyone can try the editor with nix run github:athasdev/athas.

  • Add a Nix flake dev shell that pins Zig 0.16 via zig-overlay, fixing bun dev's Zig version check (Rust already comes from rust-overlay), by @0x4bs3nt
  • Add packages.default/apps.default wrapping the prebuilt Linux release tarball (x86_64 + aarch64), patchelf'd for the bundled CEF runtime, by @0x4bs3nt
  • Add update-nix.yml to bump the pinned version and per-arch hashes when a release is published, by @0x4bs3nt
  • Change the test runner to exclude generated/vendored trees (.direnv, dist, build, target, src-tauri) so direnv-materialized copies aren't double-run, by @0x4bs3nt
  • Ignore .direnv and Nix result artifacts, by @0x4bs3nt
  • Validate nix run/nix build/nix flake check, actionlint, commitlint, and the frontend checks all pass, by @0x4bs3nt

Let contributors enter a reproducible dev shell and let anyone try the
editor with `nix run`.

- Pin Zig 0.16 in the dev shell via the zig-overlay input, fixing `bun dev`
  failing the Zig version check (Rust already comes from rust-overlay)
- Wrap the prebuilt upstream Linux release tarball (x86_64 and aarch64) as
  packages.default/apps.default, patchelf'd for the bundled CEF runtime
- Add update-nix.yml to bump the pinned version and per-arch hashes when a
  release is published
- Exclude generated and vendored trees (.direnv, dist, build, target,
  src-tauri) from the test runner so direnv-materialized copies are not run
- Ignore .direnv and nix result artifacts
@0x4bs3nt 0x4bs3nt force-pushed the feat/nix-support branch from 4f7fa55 to f8311a2 Compare June 1, 2026 20:36
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.

1 participant