diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-09-06T14·23+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-09-06T14·23+0000 |
| commit | 2e210b2387904ada0417ad5a7502e4e40b852e02 (patch) | |
| tree | 1deee458f12afebfcfaba70a89049966425e1853 /scripts/remove-patches.pl | |
| parent | 89ac8db74f1241c56b05f579cc1e04056de1a6ef (diff) | |
* Convenience option `nix-collect-garbage -d' (--delete-old): removes
old generations of *all* profiles in /nix/var/nix/profiles, then runs the garbage collector. Quick way to get rid of all old stuff. Of course, one cannot roll back to earlier points in time after this.
Diffstat (limited to 'scripts/remove-patches.pl')
0 files changed, 0 insertions, 0 deletions