brian@radio.astro.utoronto.ca (Brian Glendenning) (09/05/89)
I have never been able to notice what provokes the problem, but this bug has existed for a little while so I thought I'd post it. Bash 1.03 (but the bug has been around for a while), Sun 3 running SunOS4.0.1: sometimes pwd doesn't print what it should, and it leaves $* (at least) cluttered up. e.g. radio<77>pwd /* This had happened a few times before I thought to log it */ radio<78>echo $* /u/brian /u/brian /u/brian /u/brian -- Brian Glendenning - Radio astronomy, University of Toronto brian@radio.astro.utoronto.ca uunet!utai!radio!brian glendenn@utorphys.bitnet -- Brian Glendenning - Radio astronomy, University of Toronto brian@radio.astro.utoronto.ca uunet!utai!radio!brian glendenn@utorphys.bitnet