Module Sys_utilsSource

* Copyright (c) 2015, Facebook, Inc. * All rights reserved. * * This source code is licensed under the BSD-style license found in the * LICENSE file in the "hack" directory of this source tree. An additional grant * of patent rights can be found in the PATENTS file in the same directory. *

Sourceexception NotADirectory of string
Sourceval realpath : string -> string option
Sourceval is_nfs : string -> bool
Sourceval get_env : string -> string option

Hack_option type intead of exception throwing.

Sourceval getenv_user : unit -> string option
Sourceval getenv_home : unit -> string option
Sourceval getenv_term : unit -> string option
Sourceval path_sep : string
Sourceval null_path : string
Sourceval temp_dir_name : string
Sourceval getenv_path : unit -> string option
Sourceval open_in_no_fail : string -> in_channel
Sourceval open_in_bin_no_fail : string -> in_channel
Sourceval close_in_no_fail : string -> in_channel -> unit
Sourceval open_out_no_fail : string -> out_channel
Sourceval open_out_bin_no_fail : string -> out_channel
Sourceval close_out_no_fail : string -> out_channel -> unit
Sourceval cat : string -> string
Sourceval cat_no_fail : string -> string
Sourceval nl_regexp : Str.regexp
Sourceval split_lines : string -> string list
Sourceval string_contains : string -> string -> bool

Returns true if substring occurs somewhere inside str.

Sourceval exec_read : string -> string
Sourceval exec_read_lines : ?reverse:bool -> string -> string list
Sourceval rm_dir_tree : string -> unit

Deletes the file given by "path". If it is a directory, recursively * deletes all its contents then removes the directory itself.

Sourceval restart : unit -> 'a
Sourceval logname_impl : unit -> string
Sourceval logname_ref : string option ref
Sourceval logname : unit -> string
Sourceval with_umask : int -> (unit -> 'a) -> 'a
Sourceval read_stdin_to_string : unit -> string
Sourceval read_all : ?buf_size:int -> in_channel -> string
Sourceval expanduser : string -> string

* Like Python's os.path.expanduser, though probably doesn't cover some cases. * Roughly follow's bash's tilde expansion: * http://www.gnu.org/software/bash/manual/html_node/Tilde-Expansion.html * * ~/foo -> /home/bob/foo if $HOME = "/home/bob" * ~joe/foo -> /home/joe/foo if joe's home is /home/joe

Sourceval executable_path : unit -> string
Sourceval lines_of_in_channel : in_channel -> string list
Sourceval lines_of_file : string -> string list
Sourceval read_file : string -> bytes
Sourceval write_file : file:string -> string -> unit
Sourceval append_file : file:string -> string -> unit
Sourceval filemtime : string -> float
Sourceval lutimes : string -> unit
Sourceval try_touch : follow_symlinks:bool -> string -> unit
Sourceval mkdir_p : string -> unit
Sourceval mkdir_no_fail : string -> unit
Sourceval splitext : string -> string * string
Sourceval is_test_mode : unit -> bool
Sourceval setsid : unit -> int
Sourceval set_signal : int -> Sys.signal_behavior -> unit
Sourceval signal : int -> Sys.signal_behavior -> unit
Sourceval get_total_ram : unit -> int
Sourceval uptime : unit -> int
Sourceval nproc : unit -> int
Sourceval total_ram : int
Sourceval nbr_procs : int
Sourceval set_priorities : cpu_priority:int -> io_priority:int -> unit
Sourceval pid_of_handle : int -> int
Sourceval handle_of_pid_for_termination : int -> int
Sourceval terminate_process : int -> unit
Sourceval lstat : string -> Unix.stats
Sourceval normalize_filename_dir_sep : string -> string
Sourceval name_of_signal : int -> string