Bonjour à tous,
Je suis confronté à un « problème » agaçant :
Dans un terminal défilent des logs envoyés par mon_serveur
exclusivement sur STDOUT.
Grâce à une astuce grappillée je ne sais plus où, je peux facilement mettre systématiquement en valeur un fragment de texte via un truc du genre :
mon_serveur start | sed -e "s/${2}/${rouge}${2}${pas_rouge}/ig"
(la chaîne de caractères étant fournie en second paramètre du (…)