Bonjour,
man grep indique que la variable GREP_COLORS contient le code couleur utilisé par grep.
Je veux modifier cette couleur localement dans un script, et j’ai tenté ceci:
#!/bin/bash --
...
Colorinit="$GREP_COLORS"
GREP_COLORS='\e[;40;32;1m'
mount | grep --color=auto seagateUSB4T\[_-\]... || echo "Erreur: ..."
GREP_COLORS="$Colorinit"
...
Mais je constate que la variable $GREP_COLORS n’est pas importée dans le script, et que sa nouvelle valeur (vert au lieu de rouge) n’est pas non plus prise en compte.
PS
en réalité j’ai écrit:
GREP_COLORS="$vert"
La variable «vert» contenant la chaine «\e[;40;32;1m» , importée d’une bibliothèque personnelle de codes couleurs utilisée couramment sans problème:
# 1 FOND NOIR:
rose='\e[;40;31m'
rouge='\e[;40;31;1m'
vertm='\e[;40;32m'
vert='\e[;40;32;1m'
jaune='\e[;40;33;1m'
...
Pour en vérifier la syntaxe, je ne sais d’ailleurs pas comment l’afficher en ligne de commande:
echo "$GREP_COLORS"
affiche une ligne vide.