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 | |
parent | ee25048e51dd45ad91a1ad4b0f25f4013843c52b (diff) | |
download | guix-da551107129d22dfb2a4278a55b702a7340e7f51.tar.gz |
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')
0 files changed, 0 insertions, 0 deletions