CLEANNAME() CLEANNAME()

cleanname - clean a path name

cleanname [ -d dir ] name ...

Cleanname tidies up each file name it is given and prints the result on standard output. It removes redundant slashes and interprets and directory names lexically. If the -d option is given, each name that does not not start with / or # will be prefixed by dir/ before processing.

/appl/cmd/cleanname.b

basename (1), pwd (1), names (2)