Outils pour utilisateurs

Outils du site


recherche_ubuntu

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Both sides previous revision Révision précédente
recherche_ubuntu [2018/08/15 20:04]
g.rnd@free.fr [grep]
recherche_ubuntu [2018/09/06 18:23] (Version actuelle)
g.rnd@free.fr [grep]
Ligne 49: Ligne 49:
 Dans le fichier de configuration du Bash (/​home/<​login>/​.bashrc),​ décommenter la ligne du grep (supprimer le dièze en début de ligne et ajouter l'​option **-i**) pour avoir: Dans le fichier de configuration du Bash (/​home/<​login>/​.bashrc),​ décommenter la ligne du grep (supprimer le dièze en début de ligne et ajouter l'​option **-i**) pour avoir:
 <​code>​ alias grep='​grep -i --color=auto'​ </​code>​ <​code>​ alias grep='​grep -i --color=auto'​ </​code>​
-Ainsi, la recherche est indépendante de la casse et le motif recherché apparaît en rouge. Le résultat est tout de suite plus visible:+Ainsi, la recherche est maintenent ​indépendante de la casse et le motif recherché apparaît en rouge. Le résultat est tout de suite plus visible:
  
 {{grep_couleur.png?​450|}} {{grep_couleur.png?​450|}}
recherche_ubuntu.txt · Dernière modification: 2018/09/06 18:23 par g.rnd@free.fr