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 /po | |
| parent | 214452ffd339491f63560d19d2aeab4e668029a4 (diff) | |
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 'po')
0 files changed, 0 insertions, 0 deletions