Hello Holger,
thank you for your feedback...
Unfortunately BBEdit doesn't seem to understand the {x,y} bit of the GREP 
search....
cheers
Philippe

On Monday, December 10, 2018 at 3:50:21 PM UTC+1, Hoger November wrote:
>
> Hi, 
>
> Absolutely untested, but maybe something like counting number of line ends 
> followed by a line break/return as in search for: $\r{number_of_lines} or 
> $\n{number_of_lines} 
> could work? Grep needs to be turned on for that, in case that’s new. 
>
> I think $\n{min, max} should find those that have less or more lines if 
> I’m not mistaken. 
>
> Hope this helps,
> Holger
>
> On 10 Dec 2018, at 8:26 PM, Philippe Carly <philipp...@gmail.com 
> <javascript:>> wrote:
>
> I would like to find multiple files (I know how to do that) 
> that don' have a specific number of lines (this I don't know).
>
> More specifically, I have a directory which contains a large number of 
> subdirectories, each containing (among other things) a fileinfo.php file.
> I now that this fileinfo.php should have N lines. And I am trying to 
> locate files that have more or less than N lines to search for potential 
> problems.
>
> thanks for your help.
>
> -- 
> This is the BBEdit Talk public discussion group. If you have a 
> feature request or need technical support, please email
> "sup...@barebones.com <javascript:>" rather than posting to the group.
> Follow @bbedit on Twitter: <https://www.twitter.com/bbedit>
> --- 
> You received this message because you are subscribed to the Google Groups 
> "BBEdit Talk" group.
> To unsubscribe from this group and stop receiving emails from it, send an 
> email to bbedit+un...@googlegroups.com <javascript:>.
> To post to this group, send email to bbe...@googlegroups.com <javascript:>
> .
> Visit this group at https://groups.google.com/group/bbedit.
>
>

-- 
This is the BBEdit Talk public discussion group. If you have a 
feature request or need technical support, please email
"supp...@barebones.com" rather than posting to the group.
Follow @bbedit on Twitter: <https://www.twitter.com/bbedit>
--- 
You received this message because you are subscribed to the Google Groups 
"BBEdit Talk" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to bbedit+unsubscr...@googlegroups.com.
To post to this group, send email to bbedit@googlegroups.com.
Visit this group at https://groups.google.com/group/bbedit.

Reply via email to