[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: bash "extglob" needs to upgrade at least like zsh "kshglob"
From: |
Oğuz |
Subject: |
Re: bash "extglob" needs to upgrade at least like zsh "kshglob" |
Date: |
Sun, 30 Oct 2022 12:32:49 +0200 |
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.
--
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