mirror of
https://github.com/libguestfs/libguestfs.git
synced 2026-03-21 22:53:37 +00:00
This function is used from other parts of the daemon, especially for example with inspection. However it was difficult to follow exactly what filesystems it was returning because of insufficient debugging information.
229 lines
7.5 KiB
OCaml
229 lines
7.5 KiB
OCaml
(* guestfs-inspection
|
|
* Copyright (C) 2009-2025 Red Hat Inc.
|
|
*
|
|
* This program is free software; you can redistribute it and/or modify
|
|
* it under the terms of the GNU General Public License as published by
|
|
* the Free Software Foundation; either version 2 of the License, or
|
|
* (at your option) any later version.
|
|
*
|
|
* This program is distributed in the hope that it will be useful,
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
* GNU General Public License for more details.
|
|
*
|
|
* You should have received a copy of the GNU General Public License along
|
|
* with this program; if not, write to the Free Software Foundation, Inc.,
|
|
* 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
|
|
*)
|
|
|
|
open Printf
|
|
|
|
open Std_utils
|
|
|
|
(* Enumerate block devices (including MD, LVM, LDM and partitions) and use
|
|
* vfs-type to check for filesystems on devices. Some block devices cannot
|
|
* contain filesystems, so we filter them out.
|
|
*)
|
|
let rec list_filesystems () =
|
|
if verbose () then
|
|
eprintf "list_filesystems: start\n";
|
|
|
|
let has_lvm2 = Optgroups.lvm2_available () in
|
|
let has_ldm = Optgroups.ldm_available () in
|
|
|
|
let ret : (Mountable.t * string) list ref = ref [] in
|
|
|
|
(* Devices. *)
|
|
if verbose () then
|
|
eprintf "list_filesystems: checking for whole devices\n";
|
|
let devices = Devsparts.list_devices () in
|
|
let devices = List.filter is_not_partitioned_device devices in
|
|
List.iter (check_with_vfs_type ret) devices;
|
|
|
|
(* Device-mapper devices.
|
|
* We include these in case any encrypted devices contain
|
|
* direct filesystems.
|
|
*)
|
|
if verbose () then
|
|
eprintf "list_filesystems: checking for device-mapper devices\n";
|
|
let devices = Lvm_dm.list_dm_devices () in
|
|
let devices = List.filter is_not_partitioned_device devices in
|
|
List.iter (check_with_vfs_type ret) devices;
|
|
|
|
(* Partitions. *)
|
|
if verbose () then
|
|
eprintf "list_filesystems: checking for partitions\n";
|
|
let partitions = Devsparts.list_partitions () in
|
|
let partitions = List.filter is_partition_can_hold_filesystem partitions in
|
|
List.iter (check_with_vfs_type ret) partitions;
|
|
|
|
(* MD. *)
|
|
if verbose () then
|
|
eprintf "list_filesystems: checking for MD devices\n";
|
|
let mds = Md.list_md_devices () in
|
|
let mds = List.filter is_not_partitioned_device mds in
|
|
List.iter (check_with_vfs_type ret) mds;
|
|
|
|
(* LVM. *)
|
|
if has_lvm2 then (
|
|
if verbose () then
|
|
eprintf "list_filesystems: checking for logical volumes\n";
|
|
let lvs = Lvm.lvs () in
|
|
List.iter (check_with_vfs_type ret) lvs
|
|
);
|
|
|
|
(* LDM. *)
|
|
if has_ldm then (
|
|
if verbose () then
|
|
eprintf "list_filesystems: checking for LDM volumes\n";
|
|
let ldmvols = Ldm.list_ldm_volumes () in
|
|
List.iter (check_with_vfs_type ret) ldmvols
|
|
);
|
|
|
|
if verbose () then
|
|
eprintf "list_filesystems: finished\n%!";
|
|
!ret
|
|
|
|
(* Look to see if device can directly contain filesystem (RHBZ#590167).
|
|
* Partitioned devices cannot contain filesystem, so we will exclude
|
|
* such devices.
|
|
*)
|
|
and is_not_partitioned_device device =
|
|
let device =
|
|
if String.starts_with "/dev/mapper/" device then
|
|
Unix_utils.Realpath.realpath device
|
|
else
|
|
device in
|
|
assert (String.starts_with "/dev/" device);
|
|
let dev_name = String.sub device 5 (String.length device - 5) in
|
|
let dev_dir = "/sys/block/" ^ dev_name in
|
|
|
|
(* Open the device's directory under /sys/block/<dev_name> and
|
|
* look for entries starting with <dev_name>, eg. /sys/block/sda/sda1
|
|
*)
|
|
let is_device_partition file = String.starts_with dev_name file in
|
|
let files = Array.to_list (Sys.readdir dev_dir) in
|
|
let has_partition = List.exists is_device_partition files in
|
|
|
|
not has_partition
|
|
|
|
(* We should ignore Windows Logical Disk Manager (LDM) partitions,
|
|
* because these are members of a Windows dynamic disk group. Trying
|
|
* to read them will cause errors (RHBZ#887520). Assuming that
|
|
* libguestfs was compiled with ldm support, we'll get the filesystems
|
|
* on these later. We also ignore Microsoft Reserved Partition and
|
|
* Windows Snapshot Partition as well as MBR extended partitions.
|
|
*)
|
|
and is_partition_can_hold_filesystem partition =
|
|
let device = Devsparts.part_to_dev partition in
|
|
let partnum = Devsparts.part_to_partnum partition in
|
|
let parttype = Parted.part_get_parttype device in
|
|
|
|
let is_gpt = parttype = "gpt" in
|
|
let is_mbr = parttype = "msdos" in
|
|
let is_gpt_or_mbr = is_gpt || is_mbr in
|
|
|
|
if is_gpt_or_mbr then (
|
|
if is_mbr_extended parttype device partnum then
|
|
false
|
|
else if is_mbr_bogus parttype device partnum then
|
|
true
|
|
else if is_mbr then
|
|
true
|
|
else (
|
|
let gpt_type = Sfdisk.part_get_gpt_type device partnum in
|
|
match gpt_type with
|
|
(* Windows Logical Disk Manager metadata partition. *)
|
|
| "5808C8AA-7E8F-42E0-85D2-E1E90434CFB3"
|
|
(* Windows Logical Disk Manager data partition. *)
|
|
| "AF9B60A0-1431-4F62-BC68-3311714A69AD"
|
|
(* Microsoft Reserved Partition. *)
|
|
| "E3C9E316-0B5C-4DB8-817D-F92DF00215AE"
|
|
(* Windows Snapshot Partition. *)
|
|
| "CADDEBF1-4400-4DE8-B103-12117DCF3CCF" -> false
|
|
| _ -> true
|
|
)
|
|
)
|
|
else true
|
|
|
|
and is_mbr_extended parttype device partnum =
|
|
parttype = "msdos" &&
|
|
Parted.part_get_mbr_part_type device partnum = "extended"
|
|
|
|
and is_mbr_bogus parttype device partnum =
|
|
parttype = "msdos" && partnum = 1 && Utils.has_bogus_mbr device
|
|
|
|
(* Use vfs-type to check for a filesystem of some sort of [device].
|
|
* Appends (device, vfs_type) to the ret parameter (there may be
|
|
* multiple devices found in the case of btrfs).
|
|
*)
|
|
and check_with_vfs_type ret device =
|
|
let mountable = Mountable.of_device device in
|
|
let vfs_type =
|
|
try Blkid.vfs_type mountable
|
|
with exn ->
|
|
if verbose () then
|
|
eprintf "list_filesystems: check_with_vfs_type: %s: %s\n"
|
|
device (Printexc.to_string exn);
|
|
"" in
|
|
|
|
if vfs_type = "" then (
|
|
let fs = mountable, "unknown" in
|
|
debug_one_fs fs;
|
|
List.push_back ret fs
|
|
)
|
|
|
|
(* Ignore all "*_member" strings. In libblkid these are returned
|
|
* for things which are members of some RAID or LVM set, most
|
|
* importantly "LVM2_member" which is a PV.
|
|
*)
|
|
else if String.ends_with "_member" vfs_type then
|
|
()
|
|
|
|
(* Ignore encrypted partitions. These are also containers, as above. *)
|
|
else if vfs_type = "crypto_LUKS" || vfs_type = "BitLocker" then
|
|
()
|
|
|
|
(* A single btrfs device can turn into many volumes. *)
|
|
else if vfs_type = "btrfs" then (
|
|
let vols = Btrfs.btrfs_subvolume_list mountable in
|
|
|
|
(* Filter out the default subvolume. You can access that by
|
|
* simply mounting the whole device, so we will add the whole
|
|
* device at the beginning of the returned list instead.
|
|
*)
|
|
let default_volume = Btrfs.btrfs_subvolume_get_default mountable in
|
|
let vols =
|
|
List.filter (
|
|
fun { Structs.btrfssubvolume_id = id } -> id <> default_volume
|
|
) vols in
|
|
|
|
(* whole device = default volume *)
|
|
let fs = mountable, vfs_type in
|
|
debug_one_fs fs;
|
|
List.push_back ret fs;
|
|
|
|
(* subvolumes *)
|
|
List.push_back_list ret (
|
|
List.map (
|
|
fun { Structs.btrfssubvolume_path = path } ->
|
|
let mountable = Mountable.of_btrfsvol device path in
|
|
let fs = mountable, "btrfs" in
|
|
debug_one_fs fs;
|
|
fs
|
|
) vols
|
|
)
|
|
)
|
|
|
|
(* Otherwise it's some other VFS type. *)
|
|
else (
|
|
let fs = mountable, vfs_type in
|
|
debug_one_fs fs;
|
|
List.push_back ret fs
|
|
)
|
|
|
|
and debug_one_fs (mountable, vfs_type) =
|
|
if verbose () then
|
|
eprintf "list_filesystems: adding %S, %S\n"
|
|
(Mountable.to_string mountable) vfs_type
|