git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Re: [PATCH] Ignore file filter

From
Junio C Hamano <junkio@cox.net>
Date
May 14, 2005, 09:01 UTC
Message-ID
<7vy8ai2nb6.fsf@assigned-by-dhcp.cox.net>
In-Reply-To
<4285B6A8.4080309@dgreaves.com>
>>>>> "DG" == David Greaves <david@dgreaves.com> writes:
>>> if [[ $file =~ $patt ]]; then
>> 
>> I'm sorry but this is really nothing my bash-2.05.0(1)-release supports.

DG> OK DG> I don't know how to do that.

Is that regexp or shell glob? If regexp, expr is your friend, like this:

    if expr "$file" : "$patt" >/dev/null; then
For a glob:
    patt='?.sh'
    file=1.sh
    case "$file" in
    $patt)
            echo Yeah ;;
    *)
            echo No ;;
    esac
Previous: David GreavesNext: Petr Baudis
Message 4 of 18 in “Ignore file filter”
  1. Ignore file filterDavid Greaves, May 12, 2005
  2. Petr BaudisMay 13, 2005
  3. David GreavesMay 14, 2005
  4. Junio C HamanoMay 14, 2005
  5. Petr BaudisMay 14, 2005
  6. David GreavesMay 14, 2005
  7. [RFD] Ignore rulesPetr Baudis, May 14, 2005
  8. David GreavesMay 14, 2005
  9. Junio C HamanoMay 14, 2005
  10. Jon SeymourMay 15, 2005
  11. Junio C HamanoMay 15, 2005
  12. Junio C HamanoMay 15, 2005
  13. [RFD] git-run-with-user-pathJunio C Hamano, May 15, 2005
  14. Matthias UrlichsMay 16, 2005
  15. David GreavesMay 16, 2005
  16. Petr BaudisMay 14, 2005
  17. David GreavesMay 14, 2005
  18. David GreavesMay 13, 2005

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.