|
| logical function | directory_exists (directory) |
| | Check if a directory exists.
|
| |
| logical function | file_exists (filename) |
| | Check if a file exists.
|
| |
| character(len=:) function, allocatable | get_file_path (filename) |
| | Extract the path of a given file.
|
| |
| character(len=:) function, allocatable | get_file_name (path) |
| | Extract the filename of a given path.
|
| |
| subroutine | create_directory (directory) |
| | Create a directory.
|
| |
| character(len=:) function, allocatable | simplify_path (path) |
| | Simplify "//" in "/" in a path.
|
| |
| character(len=:) function, allocatable | escape_path (path) |
| | Replace any forbidden character by its escaped form.
|
| |
| subroutine | ensure_directory_exists (directory, use_barrier) |
| | If the given directory does not exist, create the directory.
|
| |
| character(len=:) function, allocatable | read_environment_variable (env, is_fatal) |
| | Read an environment variable.
|
| |
| character(len=:) function, allocatable | replace_tilde_with_home (path) |
| | Replace '~' in path by the content of the 'HOME' environment variable.
|
| |
| subroutine | get_notus_path (path) |
| | Find the path of Notus executable.
|
| |