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

Re: case sensitive globbing

X-seq: zsh-users 27172
From: Roman Perepelitsa <roman.perepelitsa@xxxxxxxxx>
To: Pier Paolo Grassi <pierpaolog@xxxxxxxxx>
Cc: Zsh-Users List <zsh-users@xxxxxxx>
Subject: Re: case sensitive globbing
Date: Wed, 29 Sep 2021 12:39:06 +0200
Archived-at: <https://zsh.org/users/27172>
In-reply-to: <CAP+y1xCiTHn2u-8mrzh1Xx_E-F+qadU_eG7RScajYiV0_7h6pw@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>

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.

Follow-Ups:
- Re: case sensitive globbing
  - From: Vin Shelton
- Re: case sensitive globbing
  - From: Pier Paolo Grassi

References:
- case sensitive globbing
  - From: Pier Paolo Grassi
- Re: case sensitive globbing
  - From: Roman Perepelitsa
- Re: case sensitive globbing
  - From: Pier Paolo Grassi

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