[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: bash "extglob" needs to upgrade at least like zsh "kshglob"
From: |
Martin D Kealey |
Subject: |
Re: bash "extglob" needs to upgrade at least like zsh "kshglob" |
Date: |
Sat, 29 Oct 2022 16:50:00 +1100 |
This seems like a good reason to simply translate extglobs into regexes,
which should run in linear time, rather than put effort into building and
debugging a parallel implementation.
-Martin
PS: While we're about it, can we please fix the expansion of « a/*/b/c/d/*
» so it only calls readdir on a/ and each dir matching a/*/b/c/d/ and NOT
call readdir on dirs matching a/*/, a/*/b/, or a/*/b/c/.
- 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 <=
- Re: bash "extglob" needs to upgrade at least like zsh "kshglob", Greg Wooledge, 2022/10/29
- 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", Alex fxmbsw7 Ratchev, 2022/10/30
- 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", 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