PetscErrorCode PetscGetRealPath(const char path[],char rpath[])Not Collective
Systems that use the automounter often generate absolute paths of the form "/tmp_mnt....". However, the automounter will fail to mount this path if it is not already mounted, so we remove this from the head of the line. This may cause problems if, for some reason, /tmp_mnt is valid and not the result of the automounter.