Returns directory part of a path
String pathDirectoryName(String path) { path = pathExpand(path); //return pathFullName(path_path.dirname(path)); return path_path.dirname(path); }