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

Re: Proprositions for a useful categorization of zsh options?



 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.



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