diff options
| author | Mathieu Othacehe <m.othacehe@gmail.com> | 2018-12-05 14:08:35 +0900 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-01-17 14:04:22 +0100 |
| commit | b08bea04978ee93696a2172c6c5fe2c08561a8a2 (patch) | |
| tree | d737bfbbb7066f5b5cfd9ce59543b5ed1bcf3dc1 /gnu/services | |
| parent | 4f83afd28a94ae4452423f36a4dcf2d1c2721e4f (diff) | |
| download | guix-patches-b08bea04978ee93696a2172c6c5fe2c08561a8a2.tar guix-patches-b08bea04978ee93696a2172c6c5fe2c08561a8a2.tar.gz | |
build: syscalls: Add device-in-use?.
This new procedure uses BLKRRPART to determine whether or not a device is
busy. It is useful when a device does not appear as mounted but is maybe used
by the kernel. This is the case with overlayfs lowerdir backend device for
example.
* guix/build/syscalls.scm (device-in-use?): New exported procedure.
Diffstat (limited to 'gnu/services')
0 files changed, 0 insertions, 0 deletions