Hallo Ulli Horlacher,
Du schriebst am Fri, 16 Sep 2022 07:10:39 +0000 (UTC):
> >> grep bietet z.B. eine Option, um den Suchbegriff farbig zu machen.
...
> > | grep --color 'pattern\|$' file
...
> Dann kommt der Suchbegriff in rot.
> Ich haette das lieber in bold. Die Doku zu GREP_COLORS ist allerdings
> verwirrend.
Sie ist nicht grade überbordend ausführlih, aber verwirrend?
Probier mal
$ GREP_COLORS="ms=01;30:mt=01;30" grep --color pdf *
(Nur zur Warnung: mein Terminal schreibt schwarz (0) auf hellem
Hintergrund. Du brauchst ggfs. weiß (7) statt schwarz.)
Und ggfs. auch "man 3 Term::ANSIColor" (so bei Dir verfügbar),
evtl. auch "man 5 terminal-colors.d".
Luxusproblem...
--
(Weitergabe von Adressdaten, Telefonnummern u.ä. ohne Zustimmung
nicht gestattet, ebenso Zusendung von Werbung oder ähnlichem)
-----------------------------------------------------------
Mit freundlichen Grüßen, S. Schicktanz
-----------------------------------------------------------