Newsgroups: gnu.bash.bug
Path: utzoo!utgpu!radio.astro!brian
From: brian@radio.astro.utoronto.ca (Brian Glendenning)
Subject: pwd (builtin)  problem
Message-ID: <BRIAN.89Sep4195832@radio.astro.utoronto.ca>
Sender: brian@radio.astro.utoronto.ca (Brian Glendenning)
Organization: Radio Astronomy, Univeristy of Toronto
Distribution: gnu
Date: Mon, 4 Sep 89 23:58:39 GMT


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
