diff options
author | Ludovic Courtès <ludo@gnu.org> | 2017-12-10 23:41:21 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2017-12-10 23:44:58 +0100 |
commit | 3b80b81358b3861ca3794105c8eb4395df97846b (patch) | |
tree | 22bb0100cee03d9a679be07880c0b2335637ff5e /gnu | |
parent | 8bc1935c7ce2a63b058b21db206d09e0e5872ab4 (diff) | |
download | guix-patches-3b80b81358b3861ca3794105c8eb4395df97846b.tar guix-patches-3b80b81358b3861ca3794105c8eb4395df97846b.tar.gz |
ui: Display hints to resolve profile collisions.
Fixes <https://bugs.gnu.org/29255>.
Reported by Ben Sturmfels <ben@sturm.com.au>.
* guix/ui.scm (display-collision-resolution-hint): New procedure.
(call-with-error-handling): Call it upon '&profile-collistion-error'.
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions