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.
>