Changes the file system permissions of a file.
ok, err = os.chmod(path, mask)
path
is the path to the file on which the permissions should be changed.
mask
is a string specifying the new permission mask. Currently, only octal number notations is supported, e.g. "755".
If successful, returns true. On error, returns nil and an error message.
Premake 5.0 or later.