Re: case sensitive globbing

X-seq: zsh-users 27173

From: Pier Paolo Grassi <pierpaolog@xxxxxxxxx>

To: Roman Perepelitsa <roman.perepelitsa@xxxxxxxxx>

Cc: Zsh-Users List <zsh-users@xxxxxxx>

Subject: Re: case sensitive globbing

Date: Wed, 29 Sep 2021 12:46:06 +0200

Archived-at: <https://zsh.org/users/27173>

In-reply-to: <CAN=4vMopymb_paQ44N5qgu96uO-spLYa2ddxmGiNf+ag3BFyWA@mail.gmail.com>

List-id: <zsh-users.zsh.org>

References: <CAP+y1xCQV2kzgyr9gxc11vj1qp30CUR+3Lt+vutvmQjUZOM89Q@mail.gmail.com> <CAN=4vMp8wiV7AWk7Y8C6bxPtUomez5yQ+y++KnzZ-2vEi=4VbA@mail.gmail.com> <CAP+y1xCiTHn2u-8mrzh1Xx_E-F+qadU_eG7RScajYiV0_7h6pw@mail.gmail.com> <CAN=4vMopymb_paQ44N5qgu96uO-spLYa2ddxmGiNf+ag3BFyWA@mail.gmail.com>

That's useful, thanks!

Pier Paolo Grassi

Il giorno mer 29 set 2021 alle ore 12:39 Roman Perepelitsa <roman.perepelitsa@xxxxxxxxx> ha scritto:

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.

Reverse Date

Date

Thread

Author