> | The key is pwd. A "pwd" of our recent /bin/sh is internal > | command and the value is cached. > > Have you just tried "TOP=$(pwd -P)" as a replacement for those 5 > lines? Won't help (untill we fix/change /bin/sh). The builtin 'pwd' ignores all its arguments. David -- David Laight: david@l8s.co.uk