diff options
| author | Mathieu Othacehe <othacehe@gnu.org> | 2020-11-17 09:50:01 +0100 |
|---|---|---|
| committer | Mathieu Othacehe <othacehe@gnu.org> | 2020-11-17 19:10:14 +0100 |
| commit | 3d3ffb30f9ff4ba3b07737a2d902264181388388 (patch) | |
| tree | a1083b8fecf64b34b6bc70079b76c7d5cd250163 /etc | |
| parent | 3aec121e95581e34a47e3a2d175af97579961206 (diff) | |
| download | guix-3d3ffb30f9ff4ba3b07737a2d902264181388388.tar.gz guix-3d3ffb30f9ff4ba3b07737a2d902264181388388.zip | |
installer: Fix device synchronization.
Reported by Florian Pelz:
https://lists.gnu.org/archive/html/guix-devel/2020-11/msg00326.html.
* gnu/installer/utils.scm (call-with-time): New procedure,
(let/time): new macro.
* gnu/installer/parted.scm (with-delay-device-in-use?): Increase the retry
count to 16.
(non-install-devices): Remove the call to with-delay-device-in-use? as it
doesn't return the expected result, and would block much longer now.
(free-parted): Log the time required to sync each device.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions