-
Gehört sicher nicht so, und der ist ja schon über 6 Jahre alt, versuch den mal mit sudo im Terminal zu löschen
sudo rm -rf eingeben, danach ein Leerzeichen (wichtig!) und den Ordner in das offene Terminalfenster ziehen und Return drücken. Danach das Adminpasswort eingeben, die eingegebenen Zeichen sind nicht zu sehen und nochmal Return -
Stammt evtl. von einem vermurksten PKG-Installer …
Ändere mal die Zugriffsrechte, um reingucken zu können (und etwaige Inhalte zu sichern); lösche danach den Ordner.
-