pipe et altgr + space géré

.bash_aliases

@@ -65,19 +65,19 @@ alias sshadd='ssh-add -t 1800'
 
 
 
-#~# # +----------------------+
-#~# # | AltGr+Space is wrong |
-#~# # +----------------------+
-#~#
-#~# # Workaround crade :
-#~# # 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 sed awk xargs sort uniq sponge
-#~# do
-#~#   alias  $commande=$commande
-#~# done
-#~# unset commande
+# +----------------------+
+# | AltGr+Space is wrong |
+# +----------------------+
+
+# Workaround crade :
+# 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 sed awk xargs sort uniq sponge
+do
+  alias  $commande=$commande
+done
+unset commande
 
 # +--------------------------------------+
 # | Gestion de variables d'environnement |