Problème pipe dans gnome-terminal

Salut,

Encore un nouveau problème (c’est la première fois que ça me le fait), dans gnome-terminal.

Quand j’écris :

$ echo a | grep a bash: grep : commande introuvable

Si après avoir écrit ça, je supprime l’espace avant le grep, et que je le remets, là ça fonctionne :

$ echo a | grep a a

La différence entre les deux ?

Celui qui ne fonctionne pas :

$ hd <<< "echo a | grep a" 00000000 65 63 68 6f 20 61 20 7c c2 a0 67 72 65 70 20 61 |echo a |..grep a| 00000010 0a |.| 00000011

Celui qui fonctionne :

$ hd <<< "echo a | grep a" 00000000 65 63 68 6f 20 61 20 7c 20 67 72 65 70 20 61 0a |echo a | grep a.| 00000010

Que vient donc faire ce “c2a0” au lieu de “20” pour un espace, quand je fais un “pipe” suivi d’un espace ?

Avez-vous une idée d’où ça peut venir ?

Ah, j’ai trouvé (c’est tordu).

Dans Système → Préférences → Clavier → Agencements, par défaut après une installation tout fraîche de Debian Sid, l’agencement est “France (Obsolète) Autre”. Il faut le faire passer à “France Autre”…