[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: bash "extglob" needs to upgrade at least like zsh "kshglob"
From: |
Alex fxmbsw7 Ratchev |
Subject: |
Re: bash "extglob" needs to upgrade at least like zsh "kshglob" |
Date: |
Sun, 30 Oct 2022 12:02:19 +0100 |
On Sun, Oct 30, 2022, 11:33 Oğuz <oguzismailuysal@gmail.com> wrote:
> 30 Ekim 2022 Pazar tarihinde Martin D Kealey <martin@kurahaupo.gen.nz>
> yazdı:
> >
> > So the options would seem to be:
> > (a) prohibit inversions (you get to pick EITHER extglob or rexglob, not
> > both);
> > (b) bypass convert-to-regex when inversions are present;
> > (c) use PCRE or Vim RE, which already support negations (though not in
> the
> > same form); note that these do not have linear ("regular") time
> performance
> > in any but the trivial cases;
> > (d) compute the "inverse" regex for a given negation (this may require
> Vim
> > RE, see below);
> > (e) post-process the compiled regex (this would be highly dependent on
> the
> > specific RE implementation);
> > (f) pick an existing regex engine, and add the necessary logic to handle
> > negations and conjunctions (see below);
> >
>
> Or
> (g) make the existing extglob code faster and avoid introducing more
> complexity into the shell.
>
> Which, in my opinion, is the easiest and most realistic option.
>
last three times i bugged about glob ( like reuse groupings ) it sounded
'do-it-yourself' back only
i would , have done , if i could ( .c )
--
> Oğuz
>
- bash "extglob" needs to upgrade at least like zsh "kshglob", Hyunho Cho, 2022/10/28
- Re: bash "extglob" needs to upgrade at least like zsh "kshglob", Greg Wooledge, 2022/10/28
- Re: bash "extglob" needs to upgrade at least like zsh "kshglob", Martin D Kealey, 2022/10/29
- Re: bash "extglob" needs to upgrade at least like zsh "kshglob", Oğuz İsmail Uysal, 2022/10/30
- Re: bash "extglob" needs to upgrade at least like zsh "kshglob", Martin D Kealey, 2022/10/30
- Re: bash "extglob" needs to upgrade at least like zsh "kshglob", Oğuz, 2022/10/30
- Re: bash "extglob" needs to upgrade at least like zsh "kshglob", Greg Wooledge, 2022/10/31
- Re: bash "extglob" needs to upgrade at least like zsh "kshglob", Oğuz İsmail Uysal, 2022/10/31
- Re: bash "extglob" needs to upgrade at least like zsh "kshglob", Chet Ramey, 2022/10/31
- Re: bash "extglob" needs to upgrade at least like zsh "kshglob", Chet Ramey, 2022/10/31
Re: bash "extglob" needs to upgrade at least like zsh "kshglob", Chet Ramey, 2022/10/31