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:09:19 +0100 |
| commit | 9113de2ca2db195908e3262b3752f8392ada8630 (patch) | |
| tree | 35faae978bf3c29d01c5b22c00b920e6d48599a7 /etc | |
| parent | 37c21b130c0072f23bb735ca6903d8711416d5d9 (diff) | |
| download | guix-9113de2ca2db195908e3262b3752f8392ada8630.tar guix-9113de2ca2db195908e3262b3752f8392ada8630.tar.gz | |
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