path

A structure representing a file to be used inside a repository.

Members

string path.basename

A string giving the basename of the file.

path path.dirname

The parent directory of this file, or None if this file does not have a parent.

bool path.exists

Returns true if the file denoted by this path exists.

path path.get_child(child_path)

Append the given path to this path and return the resulted path.

Parameter	Description
`child_path`	required The path to append to this path.

list path.readdir()

The list of entries in the directory denoted by this path.

path path.realpath

Returns the canonical path for this path by repeatedly replacing all symbolic links with their referents.