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 /etc/completion/zsh/_guix | |
| parent | ccb1a8c437fa40760899ae95f9d3f10ed7c8b41b (diff) | |
| download | guix-64704be417ab6f2788e8e3bc36fede1db35470e7.tar.gz guix-64704be417ab6f2788e8e3bc36fede1db35470e7.zip | |
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 'etc/completion/zsh/_guix')
0 files changed, 0 insertions, 0 deletions