Re: pushd/popd/dirs for es

[pete@minster.york.ac.uk]

> 	With respect, I believe this discussion is a little overblown.
> 
> 	I don't find anything wrong with shadowing /bin/pwd, but I wouldn't
> 	like to see something like that in a "default distribution".
> 

Seconded. We are heading into a rather dubious area here, in which individual
taste is really less important than getting the basics right. Let's just have
simple, clean primitives which we can rely upon to work as advertised. Leave
the fancy stuff for your own .esrc; keep the distributed version of the
shell as straightforward as possible!

(Yes, I have my own functions which tweak pwd; no, I don't want to share them
with the list because they only make sense on our own setup...)

I don't mind people posting pwd/pushdir/popdir hacks, but please don't _force_
us all to use them! For a start, there's the danger that one person's set of
hacks may cause scripts running under someone else's setup to break...

Pete
--
 *Peter Fenelon -- Research Associate -- Software Safety Assessment Procedures*
 Dept. of Computer Science, University of York, York, Y01 5DD (+44 0904 433388)
 EMAIL: pete@minster.york.ac.uk 'There's No Room For Enigmas In Built-up Areas'