mirror of
https://github.com/privatevoid-net/nix-super.git
synced 2024-11-27 08:16:14 +02:00
f96d2dea26
deletes a path even if it is reachable from a root. However, it won't delete a path that still has referrers (since that would violate store invariants). Don't try this at home. It's a useful hack for recovering from certain situations in a somewhat clean way (e.g., holes in closures due to disk corruption). |
||
---|---|---|
.. | ||
dotgraph.cc | ||
dotgraph.hh | ||
help.txt | ||
main.cc | ||
Makefile.am |