Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
Querying the state of shell options
- X-seq: zsh-users 16941
- From: gi1242+zsh@xxxxxxxxx
- To: zsh-users@xxxxxxx
- Subject: Querying the state of shell options
- Date: Sat, 31 Mar 2012 22:10:30 -0400
- List-help: <mailto:zsh-users-help@zsh.org>
- List-id: Zsh Users List <zsh-users.zsh.org>
- List-post: <mailto:zsh-users@zsh.org>
- Mail-followup-to: gi1242+zsh@xxxxxxxxx, zsh-users@xxxxxxx
- Mailing-list: contact zsh-users-help@xxxxxxx; run by ezmlm
Hi All,
After RTFM'ing a while, I couldn't find the answer to the following: Is
there a way to check the status of an option? For instance, if I to
check if "login" is set, can I find out?
The only way I can think of now is to grep the setopt output for the
desired option (and comparing to the default state in the zsh man page).
I'm hoping there's a better way,
Thanks in advance,
GI
--
Binary -- as easy as 1, 10, 11.
Messages sorted by:
Reverse Date,
Date,
Thread,
Author