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.