Merge branch 'master' into perso

Conflicts:
	.bash_aliases

diff --git a/.bash_aliases b/.bash_aliases
index 0d7bf351c19fc115e71ee98ee617fbd3ff6c0f00..537f2bc9b5bff694e028841c82dc4a5e80a82c2f 100644 (file)
--- a/.bash_aliases
+++ b/.bash_aliases
@@ -81,7 +81,7 @@ alias who2b='ssh -t vo who2b'
 # Permet d'aliaser les commandes dans lesquelles on pipe usuellement
 # pour qu'elle marche aussi quand elles sont précédées d'une espace insécable.
 
-for commande in grep egrep fgrep wc tail head less
+for commande in grep egrep fgrep wc tail head less sed awk xargs sort uniq
 do
   alias  $commande=$commande
 done