I’d like to update the Mosh Shell package to utlize the Git HEAD version, or a specific PR. Is this something I can easily override? It seems like I should be the right path is a little fuzzy to me.
In this, it pulls a package down from the mosh website, but I’d instead like to switch to the Github Repo and pull the head of the main branch or a PR.
Usind overrideAttrs to override the src and version attributes should do, if the build process between the released tarball and a random commit doesn’t differ to much.
The following expression though fails to build for me, as in the installPhase there is a permission denied when it tries to write the bash completions.