Shell : pipe foireux ?
C’est peut-être quelque chose de très connu mais je viens seulement de comprendre pourquoi mon shell me dit parfois ça :
% svn diff | grep toto zsh: command not found: grep |
WTF ? Il ne trouve pas grep ?
En fait, c’est très bête comme problème : sur un clavier français, on fait Alt.Gr.+6 pour obtenir le pipe, et si on tape un peu vite, il arrive qu’on tape l’espace qui suit avant d’avoir relâché la touche Alt.Gr. ce qui donne une espace insécable au lieu d’une espace normale (apparemment, c’est le cas pour le layout fr-latin9).
Or, par défaut, le séparateur de mots est l’espace normale donc le shell ne voit pas “grep” mais ” grep” avec une espace insécable. D’où le “command not found”…
« ExtJS EditorGridPanel, validation et accès au record dans le validator
Commentaires
le 15 July 2010, 11:46
Effectivement 
Merci pour l’astuce
Ecrire un commentaire
Votre commentaire sera accompagné de votre gravatar si vous en avez un.
le 19 June 2010, 12:18
Oh 0_o
Je vais essayer de me souvenir de celle-là…