Re: bash, espace et pipe

> là, je dois devenir un peu fou moi aussi car je n'arrive pas du tout à
> reproduire le problème

Après réflexion sur l'aspect aléatoire de mon cas, je pense être atteint
d'une "dyslexie digitale" ;-)
cependant une config a dû bouger suite à une update, car sous X altgr+espace
de pose plus de problème, mais en console oui...

--
Sylvain Letuffe sylvain@???
jabber id : sly@???