Blame browser/useunix.ml

Packit bd2e5d
(*************************************************************************)
Packit bd2e5d
(*                                                                       *)
Packit bd2e5d
(*                         OCaml LablTk library                          *)
Packit bd2e5d
(*                                                                       *)
Packit bd2e5d
(*            Jacques Garrigue, Kyoto University RIMS                    *)
Packit bd2e5d
(*                                                                       *)
Packit bd2e5d
(*   Copyright 1999 Institut National de Recherche en Informatique et    *)
Packit bd2e5d
(*   en Automatique and Kyoto University.  All rights reserved.          *)
Packit bd2e5d
(*   This file is distributed under the terms of the GNU Library         *)
Packit bd2e5d
(*   General Public License, with the special exception on linking       *)
Packit bd2e5d
(*   described in file ../../../LICENSE.                                 *)
Packit bd2e5d
(*                                                                       *)
Packit bd2e5d
(*************************************************************************)
Packit bd2e5d
Packit bd2e5d
(* $Id$ *)
Packit bd2e5d
Packit bd2e5d
open StdLabels
Packit bd2e5d
open UnixLabels
Packit bd2e5d
Packit bd2e5d
let get_files_in_directory dir =
Packit bd2e5d
  let len = String.length dir in
Packit bd2e5d
  let dir =
Packit bd2e5d
    if len > 0 && Sys.os_type = "Win32" &&
Packit bd2e5d
     (dir.[len-1] = '/' || dir.[len-1] = '\\')
Packit bd2e5d
    then String.sub dir ~pos:0 ~len:(len-1)
Packit bd2e5d
    else dir
Packit bd2e5d
  in match
Packit bd2e5d
    try Some(opendir dir) with Unix_error _ -> None
Packit bd2e5d
  with
Packit bd2e5d
    None -> []
Packit bd2e5d
  | Some dirh ->
Packit bd2e5d
      let rec get_them l =
Packit bd2e5d
        match
Packit bd2e5d
          try Some(readdir dirh) with _ -> None
Packit bd2e5d
        with
Packit bd2e5d
        | Some x ->
Packit bd2e5d
            get_them (x::l)
Packit bd2e5d
        | None ->
Packit bd2e5d
            closedir dirh; l
Packit bd2e5d
      in
Packit bd2e5d
      List.sort ~cmp:compare (get_them [])
Packit bd2e5d
Packit bd2e5d
let is_directory name =
Packit bd2e5d
  try
Packit bd2e5d
    (stat name).st_kind = S_DIR
Packit bd2e5d
  with _ -> false
Packit bd2e5d
Packit bd2e5d
let concat dir name =
Packit bd2e5d
  let len = String.length dir in
Packit bd2e5d
  if len = 0 then name else
Packit bd2e5d
  if dir.[len-1] = '/' then dir ^ name
Packit bd2e5d
  else dir ^ "/" ^ name
Packit bd2e5d
Packit bd2e5d
let get_directories_in_files ~path =
Packit bd2e5d
  List.filter ~f:(fun x -> is_directory  (concat path x))
Packit bd2e5d
Packit bd2e5d
(************************************************** Subshell call *)
Packit bd2e5d
let subshell ~cmd =
Packit bd2e5d
  let rc = open_process_in cmd in
Packit bd2e5d
  let rec it l =
Packit bd2e5d
    match
Packit bd2e5d
      try Some(input_line rc) with _ -> None
Packit bd2e5d
    with
Packit bd2e5d
      Some x -> it (x::l)
Packit bd2e5d
    | None -> List.rev l
Packit bd2e5d
  in
Packit bd2e5d
  let answer = it [] in
Packit bd2e5d
  ignore (close_process_in rc);
Packit bd2e5d
  answer