diff options
author | Ludovic Courtès <ludo@gnu.org> | 2018-09-03 12:46:40 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2018-09-07 11:40:18 +0200 |
commit | ee94cfeb99a7e3879c92ca21318960077ce4100e (patch) | |
tree | 38280acee29513d8a6fbbf95c45d1e8ced399c1b /guix/profiles.scm | |
parent | 214452ffd339491f63560d19d2aeab4e668029a4 (diff) | |
download | guix-patches-ee94cfeb99a7e3879c92ca21318960077ce4100e.tar guix-patches-ee94cfeb99a7e3879c92ca21318960077ce4100e.tar.gz |
pull: Add '--profile'.
* guix/scripts/pull.scm (show-help, %options): Add '--profile'.
(build-and-install): Change 'config-dir' argument to 'profile'.
(guix-pull): Honor '--profile'.
* doc/guix.texi (Invoking guix pull): Document it.
Diffstat (limited to 'guix/profiles.scm')
0 files changed, 0 insertions, 0 deletions