true if stdout is bound to a terminal

true if stdin is bound to a terminal

Queried lazily, but may change on SIGWINCH

The user's home directory. Queried lazily

The /etc directory

The system directory (Windows only)

Queried lazily

The output of the command "uname", with the given argument. Memoised.

Append .exe (only if missing) to executable filenames on Windows

Remove .exe (if present) from an executable filename on Windows

The different families of shells we know about

List of all supported shells

Guess the shell compat-mode

Guess the location of .profile. Returns None if the shell doesn't support the concept of a .profile file.

The separator character used in the PATH variable (varies depending on OS)

true if a character may be used in a filename, depending on the OS. For example, on Windows, `:` and `?` can't be in the name.

Splits a PATH-like variable separated with path_sep. More involved than it seems, because there may be quoting on Windows. By default, it returns the path cleaned (remove trailing, leading, contiguous delimiters). Optional argument clean permits to keep those empty strings.

Test whether a command exists in the environment, and returns it (resolved if found in PATH). ~env defaults to Env.raw_env.

Search for an arbitrary file in PATH. Unlike resolve_command, no transformations take place on the name in Windows (i.e. .exe, etc. is never appended) and no executable check takes place. The name passed must be a basename (no directory component).

For native Windows builds, returns `Cygwin if the command is a Cygwin- compiled executable, `Msys2 if the command is a MSYS2-compiled executable, and `Tainted of [ `Msys2 | `Cygwin ] if the command links to a library which is itself Cygwin- or MSYS2-compiled, or `Native otherwise.

If supplied, ~search_in_first specifies a directory which should be searched for cygcheck prior to searching the current PATH.

If the command given is not an absolute path, it too is resolved in the current PATH.

If cygcheck cannot be resolved in PATH, or when running the Cygwin build of opam, the function returns `Native.

Behaviour is largely as get_windows_executable_variant but where MSYS2 and Cygwin are seen as equivalent.

For native Windows builds, returns `Cygwin if the command is a Cygwin- or Msys2- compiled executable, and `CygLinked if the command links to a library which is itself Cygwin/Msys2-compiled, or `Native otherwise.

Returns true if get_cygwin_variant is `Cygwin

Like Stdlib.at_exit but with the possibility to call manually (eg. before exec())

Calls the functions registered in at_exit. Unneeded if exiting normally

Indicates intention to exit the program with given exit code

Indicates intention to exec() the given command (parameters as per Unix.execvpe), after proper finalisations. It's the responsibility of the main function to catch this, call exec_at_exit, and Unix.execvpe.

Raises Exit, with the code associated to the exit reason