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/nix-env/profiles.hh | |
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/nix-env/profiles.hh')
-rw-r--r-- | src/nix-env/profiles.hh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/nix-env/profiles.hh b/src/nix-env/profiles.hh index 423134412748..bcd882c34c93 100644 --- a/src/nix-env/profiles.hh +++ b/src/nix-env/profiles.hh @@ -31,6 +31,8 @@ Generations findGenerations(Path profile, int & curGen); Path createGeneration(Path profile, Path outPath, Path drvPath, Path clrPath); +void deleteGeneration(const Path & profile, unsigned int gen); + void switchLink(Path link, Path target); |