diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-10-09 11:51:44 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-10-11 18:29:11 +0200 |
| commit | 795d430d90e41eb172315bfccf79c9f13fc0ebfa (patch) | |
| tree | b62c24bbcc1851db652f9b48983713dbe0607a79 /gnu | |
| parent | 50c72ecd9e272d959dfc346b5baea9137f6820ad (diff) | |
| download | guix-795d430d90e41eb172315bfccf79c9f13fc0ebfa.tar guix-795d430d90e41eb172315bfccf79c9f13fc0ebfa.tar.gz | |
pull: Turn ~/.config/guix/current into a symlink to /var/guix/profiles.
This is more consistent with what 'guix package' does, more pleasant for
users (we no longer clobber ~/.config/guix), and more
cluster-friendly (since /var/guix/profiles is usually an NFS share
already.)
* guix/scripts/pull.scm (%current-profile, %user-profile-directory): New
variables.
(migrate-generations, ensure-default-profile): New procedures.
(guix-pull): Use %CURRENT-PROFILE by default. Call
'ensure-default-profile'.
* doc/guix.texi (Invoking guix pull): Adjust 'guix package -p
~/.config/guix/current' example.
* guix/scripts.scm (warn-about-old-distro): Check %PROFILE-DIRECTORY
"/current-guix".
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions