Re: [ jEdit-users ] any glob master here ?

[Vampire <Vam...@gm...>]

Suraj N. Kurapati wrote:

>Suraj N. Kurapati wrote:
>  
>
>>Matthieu Casanova wrote:
>>    
>>
>>>for example for shellscript replacing the glob #!/*sh* by this one
>>>#!{\s*,}/*sh* that will accept one or more space or tabs after the !
>>>      
>>>
>>The original glob (#!/*sh*) will also accept spaces and tabs after the !
>>    
>>
>
>Whoops!  We need to put a * after the ! to accept spaces and tabs
>after it:
>
>                             #!*/*sh*
>
>That should work.
>  
>
Yes, but it also has many false positives

>
>-------------------------------------------------------------------------
>This SF.net email is sponsored by DB2 Express
>Download DB2 Express C - the FREE version of DB2 express and take
>control of your XML. No limits. Just data. Click to get it now.
>http://sourceforge.net/powerbar/db2/
>  
>