That'sĀ useful, thanks!

Pier Paolo Grassi


Il giorno mer 29 set 2021 alle ore 12:39 Roman Perepelitsa <roman.perepelitsa@gmail.com> ha scritto:
On Wed, Sep 29, 2021 at 12:33 PM Pier Paolo Grassi <pierpaolog@gmail.com> wrote:
>
> I thought case_glob was unset because I wasn't seeing it in the list produced by setopt

`setopt` without arguments only shows options that differ from their
values in the baseline emulation mode. Your baseline emulation mode is
probably 'zsh', which has `case_glob` set, so `setopt` will only print
`case_glob` if it's unset. You can see all options with `set -o`.

Roman.