diff options
| author | Ludovic Courtès <[email protected]> | 2019-05-09 17:31:44 +0200 |
|---|---|---|
| committer | Ludovic Courtès <[email protected]> | 2019-05-09 17:42:31 +0200 |
| commit | a0dc97a517cbc4c82640e30cacb2a564d128bbe9 (patch) | |
| tree | cf69aedee93bea4660b029ad8a87b55e25ab1890 /etc | |
| parent | 8deb65c37850bfca36429f3fe5239bd9236f969c (diff) | |
pull: Display 'hash guix' hint when the new and old 'guix' are different.
Fixes <https://bugs.gnu.org/35601>.
Reported by Diego Nicola Barbato <[email protected]>.
Previously we were calling (which "guix") after the new profile had been
built and symlinked, so in most cases the hint would not be triggered,
even though it should have been triggered.
* guix/scripts/pull.scm (build-and-install)[guix-command]: New variable.
Compare PROFILE/bin/guix against GUIX-COMMAND.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions