Niveau :      
Résumé : grep --color ; echo -e ; reset

C'est le début d'une longue suite d'articles dont les astuces sont trop courtes pour tenir dans un article mais qui sont bien utiles pour la vie de tous les jours.

Un problème avec votre terminal ? S'il devient illisible suite à une commande, à l'aveugle tapez :

$ reset

Besoin de caractères spéciaux avec echo ? Utilisez l'option -e :

$ echo -e "\t:tab\n"

Des problèmes sur un lien IP ? Testez rapidement (et approximativement) un taux de perte :

$ ping -f destinataire

Besoin de mettre en évidence les expressions matchées avec grep ? Mettez les en couleur (gardez le en alias, le défaut ne met pas de couleur dans les | ).

$ grep --color pattern fichier
$ alias grep="grep --color"

Même chose mais utilisable dans un less

$ grep --color=always pattern fichier | less -r

Une dernière astuce, pensez à vous créer un gros fichier vide que vous pourrez supprimer en cas de dépassement de capacité de partition, le temps de faire un vrai ménage. Cela peut par exemple éviter de casser un serveur mysql. C'est l'équivalent de l'option -m pour les partitions mais accessible pour un utilisateur normal. Les partitions sensibles à ces problèmes sont principalement celles de /var

$ dd if=/dev/zero of=/var/lib/FUSIBLE bs=1M count=10 # 10 Mo
$ dd if=/dev/zero of=/var/log/FUSIBLE bs=1M count=10 # 10 Mo

Si vous avez aimé, il y a aussi :

  1. Trucs et astuces (3)
  2. Trucs et astuces (5)
  3. Trucs et astuces (7)
  4. Trucs et astuces (4)
  5. Trucs et astuces (2)