>
> On Thu, Dec 26, 2024 at 10:10 AM Patrick Dupre via lyx-users
> <lyx-users@lists.lyx.org> wrote:
>
> > Yes, I know, but it only tell me that there are non ascii characters.
> > Now, I need to find these characters.
>
> I've had the following in my ~/.bash_aliases for decades. This may help:
>
> # Find unprintables (control characters and DEL), and expletives
> # (anything outside ASCII alphanumeric and punctuation).
> #
> alias unprintable='grep --color="auto" -P -n "[\x00-\x1E]"'
> alias expletives='grep --color="auto" -P -n "[^\x00-\x7E]" '
OK
Thanks
--
lyx-users mailing list
lyx-users@lists.lyx.org
https://lists.lyx.org/mailman/listinfo/lyx-users