- remove-from-search-path oldDirprocedure
Remove a directory or archive from the search path.
This must be a (case-sensitive) match to a dir or archive already in the search path, specified in platform-dependent notation.
This call will fail (and fail to remove from the path) if the element still has files open in it.