Ryan Gibb
Ryan Gibb
> cc resident nix expert @RyanGibb what do you think of this script? It looks like `opam-shebangs.patch` was adapted from https://github.com/NixOS/nixpkgs/blob/master/pkgs/build-support/setup-hooks/patch-shebangs.sh (almost verbatim https://github.com/NixOS/nixpkgs/blob/4b1b6ee6d1a12501e9383748fa07423a0dc1718f/pkgs/build-support/setup-hooks/patch-shebangs.sh), which is a standard hook in...
I've hacked around and got the installation medium booting from the EFI. Does anyone know if it's possible to install NixOS to the same medium (SD card) as the EFI?...
> That aforementioned partition table issue I do plan to rectify in due course, but currently that kernel build from @leo60228 is unfortunately an overnight job for my Pi Try:...
I'm another who has got it working with rpi5-uefi and @leo60228's flake! The debian UEFI docs where useful in understanding you can extract the bootloader to the same partition as...
> @RyanGibb Do you or anyone else know a way to create directly an sd image that could be `dd` onto the sd (or nvme ssd with https://github.com/worproject/rpi5-uefi v0.3)? I...
Right! From my experiments org mode does support this with `#+TODO: ...`, as in the example above. I might be able to create a PR for this if there would...
I've opened a PR here! https://github.com/jgm/pandoc/pull/10990
This looks great! Using `login_tty` is much nicer than manually doing tty setup. > [ ] do the pty fds need to created as cloexec, and then inherited in a...
Hi @olmokramer, just putting a gentle ping here.
No problem at all! Thanks for the approval :-)