Re:What Is Nix?
by endgame on Wednesday May 20, 2020 @09:20PM
(#23253942)
Buried in that issue is a workaround, although GitHub's UI hides it from you: https://github.com/NixOS/nix/issues/2925#issuecomment-604501...
[ Parent
| on HN ]
Re:What Is Nix?
by MaxGabriel on Wednesday May 20, 2020 @10:05PM
(#23254174)
Several people in my company use the separate volume workaround and it's been totally painless.
Nix has sharp edges but this one is less of a concern than you'd think ime