mirror of
git://git.code.sf.net/p/zsh/code
synced 2025-06-14 08:08:10 +02:00
zsh-workers:6193
This commit is contained in:
parent
f0159dac34
commit
d14a9044cf
1 changed files with 2 additions and 0 deletions
|
@ -635,6 +635,8 @@ dosetopt(int optno, int value, int force)
|
|||
}
|
||||
} else if(!force && (optno == INTERACTIVE || optno == SHINSTDIN ||
|
||||
optno == SINGLECOMMAND)) {
|
||||
if (opts[optno] == value)
|
||||
return 0;
|
||||
/* it is not permitted to change the value of these options */
|
||||
return -1;
|
||||
} else if(!force && optno == USEZLE && value) {
|
||||
|
|
Loading…
Reference in a new issue