Quand vous remarquerez une petite astuce qui ne mérite pas un tuto complet, faites-le savoir à un modérateur ou à un admin, nous l'ajouterons à cette liste.
-------------------------------------------------------------------
apt-get upgrade vs apt-get dist-upgrade
Colorier ses grep pour faciliter les recherches
