diff options
author | Konrad Hinsen <konrad.hinsen@fastmail.net> | 2019-09-18 09:52:18 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2019-09-18 23:08:29 +0200 |
commit | da551107129d22dfb2a4278a55b702a7340e7f51 (patch) | |
tree | 3dfe5fe5ae266925c1b1c189bb2b80fe230677c3 /gnu/packages/terminals.scm | |
parent | ee25048e51dd45ad91a1ad4b0f25f4013843c52b (diff) |
scripts: pull: Add options for generation management
* guix/scripts/pull.scm (%options) Add --roll-back, --switch-generation,
--delete-generations
(process-generation-change): New function
(guix-pull): Execute generation management operations
* doc/guix.texi: Document the generation management operations
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/packages/terminals.scm')
0 files changed, 0 insertions, 0 deletions