FROM nixpkgs/nix:nixos-23.11 ENV PATH=/root/.nix-profile/bin:/usr/bin:/bin RUN <&2 cd /src git fetch origin git checkout -q --detach "\$BRANCH" echo 'Building Glove80 firmware' >&2 cd /config nix-build ./config --arg firmware 'import /src/default.nix {}' -j2 -o /tmp/combined --show-trace install -o "\$UID" -g "\$GID" /tmp/combined/glove80.uf2 ./glove80.uf2 EOF ENTRYPOINT ["/bin/entrypoint.sh"] # Run build.sh to use this file