On Wed, Sep 29, 2021 at 12:33 PM Pier Paolo Grassi <pierpaolog@xxxxxxxxx> 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.