Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
Re: Option Options
- X-seq: zsh-workers 1908
- From: Zoltan Hidvegi <hzoli@xxxxxxxxxx>
- To: wayne@xxxxxxxxx (Wayne Davison)
- Subject: Re: Option Options
- Date: Sat, 3 Aug 1996 01:32:36 +0200 (MET DST)
- Cc: zsh-workers@xxxxxxxxxxxxxxx
- In-reply-to: <199608022223.PAA20157@xxxxxxxxxxxxxxx> from Wayne Davison at "Aug 2, 96 03:23:26 pm"
- Organization: Dept. of Comp. Sci., Eotvos University, Budapest, Hungary
- Phone: (36 1)2669833 ext: 2667, home phone: (36 1) 2752368
> I also like the idea that Bart has espoused of having little or no options
> show up in setopt's output if the shell is running in a default manner.
> The following patch will undoubtedly be controversial, but it changes the
> (un)setopt commands to take into account if this option is on by default
> in the current emulation mode. Here's the output I get running it with
> "zsh -f":
>
> % setopt
> interactive
> monitor
> norcs
> shinstdin
> zle
I like this idea.
> Note that all the "special" options show up. This could be changed if
> someone wished to mark them as OPT_SPECIAL|OPT_ALL (or whatever).
That's fine because they have no real default value.
Zoltan
Messages sorted by:
Reverse Date,
Date,
Thread,
Author