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/packages/jemalloc.scm | |
| parent | 8bc1935c7ce2a63b058b21db206d09e0e5872ab4 (diff) | |
| download | patches-3b80b81358b3861ca3794105c8eb4395df97846b.tar 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/packages/jemalloc.scm')
0 files changed, 0 insertions, 0 deletions