Zsh Mailing List Archive Messages sorted by: Reverse Date, Date, Thread, Author

Re: Proprositions for a useful categorization of zsh options?

X-seq: zsh-users 7382
From: Aidan Kehoe <kehoea@xxxxxxxxxxxxx>
To: Thorsten Kampe <thorsten@xxxxxxxxxxxxxxxx>
Subject: Re: Proprositions for a useful categorization of zsh options?
Date: Wed, 21 Apr 2004 17:42:11 +0100
Cc: zsh-users@xxxxxxxxxx
In-reply-to: <5dm0y2dfylqz.dlg@xxxxxxxxxxxxxxxx>
Mailing-list: contact zsh-users-help@xxxxxxxxxx; run by ezmlm
References: <1o5vc7hkd82ad.dlg@xxxxxxxxxxxxxxxx> <20040421103358.GA28557@DervishD> <5dm0y2dfylqz.dlg@xxxxxxxxxxxxxxxx>
Reply-to: Aidan Kehoe <kehoea@xxxxxxxxxxxxx>

 Ar an 21ú lá de mí 4, scríobh Thorsten Kampe :

 > > I would change the name POPD/PUSHD of the last category to simply
 > > 'DIRS' and put those three there.
 > 
 > Yes, "pushd/popd" is too specific compared to the the other ones who
 > are far more general..., but is "DIRS" the appropriate term? "Dealing
 > somehow with dirs" seems a bit vague to me...

Well, I always read "dirs" as being short for the directory stack, and what
are push and pop, if not stack manipulation operations? "Changing
directories" is the better heading, though.

-- 
I don't care if it rains or freezes/'Long as I got my Plastic Jesus
Riding on the dashboard of my car.

Follow-Ups:
- Re: Proprositions for a useful categorization of zsh options?
  - From: DervishD

References:
- Proprositions for a useful categorization of zsh options?
  - From: Thorsten Kampe
- Re: Proprositions for a useful categorization of zsh options?
  - From: DervishD
- Re: Proprositions for a useful categorization of zsh options?
  - From: Thorsten Kampe

Messages sorted by: Reverse Date, Date, Thread, Author