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 | |
| parent | 4f83afd28a94ae4452423f36a4dcf2d1c2721e4f (diff) | |
| download | guix-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')
0 files changed, 0 insertions, 0 deletions