diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-09-10T13·32+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-09-10T13·32+0000 |
commit | dcc433de47d4bf4a27fe63bc8996e946164ae885 (patch) | |
tree | 0d27a8f0433094144b7cdab591726f2ec288d937 /src/bin2c | |
parent | c16be6ac92b86981e8e4bb6703e694b675a28b0d (diff) |
* Operation `--delete-generations' to delete generations of a
profile. Arguments are either generation number, or `old' to delete all non-current generations. Typical use: $ nix-env --delete-generations old $ nix-collect-garbage * istringstream -> string2Int.
Diffstat (limited to 'src/bin2c')
0 files changed, 0 insertions, 0 deletions