summaryrefslogtreecommitdiff
path: root/po
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2018-09-03 12:46:40 +0200
committerLudovic Courtès <ludo@gnu.org>2018-09-07 11:40:18 +0200
commitee94cfeb99a7e3879c92ca21318960077ce4100e (patch)
tree38280acee29513d8a6fbbf95c45d1e8ced399c1b /po
parent214452ffd339491f63560d19d2aeab4e668029a4 (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