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 /gnu | |
| parent | 3a8c4860fbccc840b28227dbe44cfffb128a91e0 (diff) | |
| download | guix-d1d72830f2d60b2853460c443081683ef2f7d5c4.tar.gz | |
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 'gnu')
0 files changed, 0 insertions, 0 deletions