Piping grep provoque une erreur $ '\ 302 \ 240grep': commande introuvable sur linux

Parfois, lors de la canalisation d'une entrée vers grep, je vois cette erreur se produire:

$ cat something.txt | grep "some text"
-bash: $'\302\240grep': command not found

Lorsque je ressaisis la commande, cela fonctionne comme prévu. Quelle pourrait-être la cause?

J'utilise la disposition du clavier finlandais.

— 1615903
source

BTW vous n'avez pas besoin d'utiliser catpour cela - il suffit d'utiliser grep "some text" something.txt.

— Gordon Davisson

La combinaison de touches pour le symbole de pipe dans la présentation finlandaise est Alt Gr+ la touche à gauche de Z. Le problème était que je n'avais pas relâché Alt Gravant d'appuyer sur l'espace après le caractère de pipe, ce qui entraînait l'insertion d'un espace insécable au lieu d'un espace normal.

— 1615903
source

C'est un espace sans pause (pour utiliser le nom Unicode) et ce n'est pas vraiment étrange. Le finnois n'est pas la seule disposition de clavier multilingue où plusieurs caractères peuvent être saisis avec la barre d'espacement. C'est également le cas pour l'agencement allemand T2, par exemple.

— JdeBP