From d14a9044cf0b0309d83a438ea6196564a504bab4 Mon Sep 17 00:00:00 2001 From: Tanaka Akira Date: Tue, 4 May 1999 21:20:40 +0000 Subject: zsh-workers:6193 --- Src/options.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Src/options.c b/Src/options.c index 9010831c0..19677dfa9 100644 --- a/Src/options.c +++ b/Src/options.c @@ -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) { -- cgit 1.4.1