diff options
author | Mathieu Othacehe <m.othacehe@gmail.com> | 2020-02-27 16:22:28 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2020-03-05 23:40:24 +0100 |
commit | 64704be417ab6f2788e8e3bc36fede1db35470e7 (patch) | |
tree | 41b8a40b82929f581e6d7fdc6810c70e73ab0cb4 /guix.scm | |
parent | ccb1a8c437fa40760899ae95f9d3f10ed7c8b41b (diff) | |
download | patches-64704be417ab6f2788e8e3bc36fede1db35470e7.tar patches-64704be417ab6f2788e8e3bc36fede1db35470e7.tar.gz |
installer: Fix cow-store umount.
This fixes <https://bugs.gnu.org/39712>.
The guix-daemon was preventing the cow-store umount, so restart it. Some
udevd workers, using cow-store files might also still be around, so have some
umount retries.
* gnu/installer/final.scm (kill-cow-users): New procedure,
(umount-cow-store): restart guix-daemon and kill all processes started from
within the cow-store before trying to umount the store overlay. Also try 5
times to umount the overlay in case it is still busy.
Diffstat (limited to 'guix.scm')
0 files changed, 0 insertions, 0 deletions