Returns full path of a path
String pathFullName(String path) { path = pathExpand(path); return path_path.normalize(path_path.absolute(path)).replaceAll(r'\', '/'); }