Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > gnu.bash.bug > #16480

Bash manual bug : redundant info

From 홍홍 <jinbeomhong@gmail.com>
Newsgroups gnu.bash.bug
Subject Bash manual bug : redundant info
Date 2020-06-29 19:27 +0900
Message-ID <mailman.632.1593426469.2574.bug-bash@gnu.org> (permalink)
References <C0C8BD03-3BBD-4185-8E60-CEE3965E78AD@gmail.com>

Show all headers | View raw


In 4.3.2 The Shopt Builtin,

The statement below appears twice redundantly.

The return status when listing options is zero if all optnames are enabled, non-zero otherwise. When setting or unsetting options, the return status is zero unless an optname is not a valid shell option.

Back to gnu.bash.bug | Previous | Next | Find similar


Thread

Bash manual bug : redundant info 홍홍 <jinbeomhong@gmail.com> - 2020-06-29 19:27 +0900

csiph-web