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 | patches-b08bea04978ee93696a2172c6c5fe2c08561a8a2.tar 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')
0 files changed, 0 insertions, 0 deletions