Zsh Mailing List Archive
Messages sorted by: Reverse Date, Date, Thread, Author

Re: case sensitive globbing



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.




Messages sorted by: Reverse Date, Date, Thread, Author