diff options
author | Ludovic Courtès <ludo@gnu.org> | 2016-10-27 13:44:13 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2016-10-27 13:48:52 +0200 |
commit | 49baaff4d2995cc4455843d7249894cb7456d8d5 (patch) | |
tree | db58901f797cd38f1726889c9704cf2d3ecad532 /scripts | |
parent | b800b8da2123fb6877c706a06e531b7266aee507 (diff) | |
download | patches-49baaff4d2995cc4455843d7249894cb7456d8d5.tar patches-49baaff4d2995cc4455843d7249894cb7456d8d5.tar.gz |
file-systems: 'disk-partitions' detected partitions from mapped devices.
Previously, partitions of mdadm- or cryptsetup-produced block devices
would not be returned by 'disk-partitions'.
* gnu/build/file-systems.scm (disk-partitions)[last-character]: New
procedure.
[partition?]: Add 'name' parameter and rewrite. Adjust caller.
* gnu/build/file-systems.scm (ENOENT-safe): Silently ignore ENOMEDIUM.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions