Ich habe kürzlich RVM (gemäß den Anweisungen unter http://rvm.io ) nach einer Neuinstallation von Ubuntu 12.10 neu installiert, als ich ein SSD-Laufwerk bekam. Wenn ich jetzt tippe: type rvm | head -1 Ich erhalte folgende Fehlermeldung: rvm is a function -bash: type: write error: Broken pipe Aber...