Comment puis-je corriger une erreur de tuyau cassé?

J'ai récemment réinstallé RVM (en suivant les instructions de http://rvm.io ) après une nouvelle installation d'Ubuntu 12.10 lorsque j'ai obtenu un disque SSD.

Maintenant, quand je tape: type rvm | head -1

Je reçois l'erreur suivante :

rvm is a function
-bash: type: write error: Broken pipe

Mais si je répète immédiatement la commande, je ne reçois que:

rvm is a function

Et il semble que tout va bien? Que se passe-t-il ? Que puis-je faire pour le réparer? Ça n'arrive pas toujours. Il semble être plus sporadique. J'ai essayé de trouvez une sorte de modèle mais ne l'avez pas encore fait.

demandé sur