On 9/07/2009, at 12:35 PM, matthew green wrote:
actually, reading
http://www.opengroup.org/onlinepubs/009695399/utilities/cd.html
makes be think that our shell should also do this.
Good point. Maybe we should replace "cd -" in scripts with 'cd "$OLDPWD"', just to be safe. I think redirecting the output from cd to /dev/null is ugly.
Cheers, Lloyd