File: is.ml

package info (click to toggle)
libguestfs 1%3A1.44.0-2
  • links: PTS, VCS
  • area: main
  • in suites: bullseye
  • size: 118,932 kB
  • sloc: ansic: 458,017; ml: 51,424; sh: 13,191; java: 9,578; makefile: 7,931; cs: 6,328; haskell: 5,674; python: 3,871; perl: 3,528; erlang: 2,446; xml: 1,347; ruby: 350; pascal: 257; javascript: 157; lex: 135; yacc: 128; cpp: 10
file content (42 lines) | stat: -rw-r--r-- 1,518 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
(* guestfs-inspection
 * Copyright (C) 2009-2020 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 Unix

let rec is_file ?(followsymlinks = false) path =
  is "is_file" S_REG followsymlinks path
and is_dir ?(followsymlinks = false) path =
  is "is_dir" S_DIR followsymlinks path
and is_symlink path =
  is "is_symlink" S_LNK false path

and is func expected_kind followsymlinks path =
  let chroot = Chroot.create ~name:(sprintf "%s: %s" func path) () in
  let kind =
    Chroot.f chroot (
      fun () ->
        let statfun = if followsymlinks then stat else lstat in
        try
          let statbuf = statfun path in
          Some statbuf.st_kind
        with
          Unix_error ((ENOENT|ENOTDIR), _, _) ->
            None  (* File doesn't exist => return None *)
    ) () in
  kind = Some expected_kind