zsh-workers
 help / color / mirror / code / Atom feed
* RFE: DIR_PUSHD
@ 2010-07-29 19:25 Dave Yost
  2010-07-29 20:37 ` Paul Ackersviller
  0 siblings, 1 reply; 4+ messages in thread
From: Dave Yost @ 2010-07-29 19:25 UTC (permalink / raw)
  To: zsh-workers

AUTO_CD is nice, but I find it would usually be better if "executing" 
a directory would instead pushd to that directory.

The obvious name for such an option would be AUTO_PUSHD, but that 
name is already in use for something else.

The naming problem shouldn't stand in the way of this needed feature. 
Call it what you will. It will get used.

I propose
   DIR_PUSHD

You could also offer its analog,
   DIR_CD
and deprecate
   AUTO_CD
which is confusing in its nonparallelism with AUTO_PUSHD

Thanks

Dave


^ permalink raw reply	[flat|nested] 4+ messages in thread

end of thread, other threads:[~2010-07-30  6:33 UTC | newest]

Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2010-07-29 19:25 RFE: DIR_PUSHD Dave Yost
2010-07-29 20:37 ` Paul Ackersviller
2010-07-30  2:16   ` Dave Yost
     [not found]   ` <pdy98830624081dc877e5f4029d@192.168.1.2>
2010-07-30  6:26     ` Mikael Magnusson

Code repositories for project(s) associated with this public inbox

	https://git.vuxu.org/mirror/zsh/

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).