Re: Appending to file.patterns.bash

"[email protected]" <[email protected]> Mon, 25 Sep 2023 11:35:02 -0700 (PDT)
Newsgroups gmane.editors.scite.general
Message-ID <[email protected]>
Prefixing .bashrc and .bash_profile with an * makes no difference. If you 
look in Embedded.properties you will see that file.patterns.bash already 
contains "configure" which is not a pattern.

On Monday, September 25, 2023 at 12:46:57 PM UTC-5 baltasarq wrote:

> Oh, I understand. Sorry for my previous email.
> Yes, it should work since you are separating each new pattern with ';'.
> The only problem is that your new patterns aren't patterns at all. Could 
> you try to add a '*' before each one?
>
> -- Baltasar
>
>

-- 
You received this message because you are subscribed to the Google Groups "scite-interest" 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/scite-interest/b168e841-a241-49ee-b883-b16e5f662c3bn%40googlegroups.com.