Chaque fois que je veux utiliser l'opérateur pipe dans le terminal, j'obtiens une sorte de "bug" étrange :
Comme le montre l'image ci-dessus, je peux taper la même commande exacte deux fois et elle enregistre parfois ou inclut parfois un espacement dans la commande, comme le montre le message d'erreur. La seule différence entre les deux commandes était la vitesse à laquelle je les ai tapées, taper rapidement la séquence de caractères "| " (sans les guillemets) conduisant à l'erreur. J'ai vérifié dans les paramètres du terminal si cette séquence déclenchait d'une manière ou d'une autre un raccourci, mais je n'ai rien trouvé.
En cas de besoin, j'utilise un clavier suisse. La disposition est la suivante :
Pour produire le caractère "|", je presse "alt + 7". Est-ce que quelqu'un sait quelle est la cause de ce problème ?
