Description
Expand path names to their full absolute names by substituting
environment variables (e.g.
$HOME), applying tilde expansion,
and prefixing a relative name with the working directory.
It also takes care that parts . and .. are removed and that multiple
slashes are replaced by a single slash. A possible trailing slash is
also removed.
Note that it does not substitute symbolic links.
Example
dos.fullname ('~mhaller')
/home/rzmws0/mhaller
dos.fullname ('~mhaller//./../')
/home/rzmws0
Arguments
| pathname |
in |
path name |
| |
|
Allowed: |
vector of strings |
| |
|
Default: |
'.' |
News 
