diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-01-28 23:03:38 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-01-28 23:13:40 +0100 |
| commit | d1d72830f2d60b2853460c443081683ef2f7d5c4 (patch) | |
| tree | ae53b1fcccd980e26fd36693312d0c5d84148e1c /etc | |
| parent | 3a8c4860fbccc840b28227dbe44cfffb128a91e0 (diff) | |
| download | guix-d1d72830f2d60b2853460c443081683ef2f7d5c4.tar.gz guix-d1d72830f2d60b2853460c443081683ef2f7d5c4.zip | |
pull: Don't trigger 'hash guix' hint needlessly.
Previously if ~/.config/guix/current/bin was in $PATH, we'd still
suggest to run 'hash guix' because we'd compare (which "guix") against
/var/guix/profiles/per-user/….
* guix/scripts/pull.scm (build-and-install): Check whether (which
"guix") matches PROFILE or its user-friendly variant.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions