All three work because the quotes don’t need to be escaped. The quotes have no special meaning in the pattern, so “ and \” are interpreted exactly the same way.
On Fri, Oct 27, 2023 at 11:39 PM <[email protected]> wrote: > [email protected] > <https://groups.google.com/forum/?utm_source=digest&utm_medium=email#!forum/bbedit/topics> > Google > Groups > <https://groups.google.com/forum/?utm_source=digest&utm_medium=email/#!overview> > <https://groups.google.com/forum/?utm_source=digest&utm_medium=email/#!overview> > Topic digest > View all topics > <https://groups.google.com/forum/?utm_source=digest&utm_medium=email#!forum/bbedit/topics> > > - Extract a group of lines from a text file on Mac > <#m_8183180611496975866_group_thread_0> - 1 Update > > Extract a group of lines from a text file on Mac > <http://groups.google.com/group/bbedit/t/4d2d76278d9c0615?utm_source=digest&utm_medium=email> > Tim A <[email protected]>: Oct 27 08:09PM -0700 > > Looking to learn something here. Kaveh suggests: > Search: (.+\"ERROR".+)\r(.+)\r(.+)\r(.+) > > Why is a single quote around ERROR escaped here? I find any of these > search > patterns work ... > \"ERROR" as above; > \"ERROR\" > "ERROR" > > On Wednesday, October 25, 2023 at 12:02:07 PM UTC-7 Kaveh Bazargan wrote: > > Back to top <#m_8183180611496975866_digest_top> > You received this digest because you're subscribed to updates for this > group. You can change your settings on the group membership page > <https://groups.google.com/forum/?utm_source=digest&utm_medium=email#!forum/bbedit/join> > . > To unsubscribe from this group and stop receiving emails from it send an > email to [email protected]. > -- This is the BBEdit Talk public discussion group. If you have a feature request or need technical support, please email "[email protected]" rather than posting here. Follow @bbedit on Twitter: <https://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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/bbedit/CA%2BhBnT43o4AbrKZ91gHTMPJ%3DO5cWCLgGO%2BUX-J5MKiRL7Q8B-Q%40mail.gmail.com.
