Hallo Community,

ich habe folgendes Problem:
Ich wollte mir heute mittels cabal Idris installieren, indem ich im cmd.exe - Fenster cabal install idris eingegeben habe. (Anleitung auf idris.org)
Während der Installation ist offenbar irgendetwas schiefgelaufen (siehe angehängte Screenshots).
Also habe ich eine andere Installationsart gewählt und von idris.org einfach die Windows-.exe-Datei gedownloadet, mit derer die Installation erfolgreich verlaufen ist.

Meine Frage ist nun, ob die Dateien, die bei ersterer Installation mittels des cmd.exe-Fensters geladen und installiert worden sind, nun noch irgendwo auf meinem Laptop herumliegen oder sie durch die andere Installationsart alle überschrieben worden sind.
Ich habe nämlich keine Ahnung, wo ich die unnütz geladenen und installierten Dateien finde, falls sie noch auf meinem Laptop sind?
Soll ich eine Systemwiederherstellung machen bzw. würde das etwas helfen?

Danke im Voraus für eure Hilfe!

*idris-lang.org meinte ich

Was ist jetzt so schlimm an heruntergeladenen Dateien? Wenn das Programm läuft, dann ist doch alles gut.

Ansonsten dürfte deine Frage für dieses Forum zu speziell sein, weil die Software kaum jemand hier einsetzen wird.

Außerdem: Wenn du eine Programmiersprache runterlädst und auch anwenden willst, solltest du per Google oder Forum der Sprache selbst die gesuchten Infos finden können.

Hallo stefanbecker,
ich möchte nicht, dass mein Computer zugemüllt wird, weil ich ohnehin kaum Festplattenspeicher mehr habe und manche herumliegenden Dateien den Laptop zu einem einfacheren Angriffsziel für Schadsoftware machen.
Wie sieht es denn generell aus, wenn etwas gedownloadet und installiert wird, aber zum Schluss fehlschlägt? Bleibt das dann alles liegen? Und würden sämtliche durch den Installationsprozess erstellten Dateien (z.B. logs und txt) durch eine Systemwiederherstellung gelöscht werden oder bleiben diese als Dateien davon unberührt?

Wenn Du etwas installierst, solltest Du schon wissen, wohin Du es schaufelst. Eine Fehlinstallation entfernt man über die windowseigene Installationsroutine und installiert dann neu. Übriggebliebene Ordner kann man bedenkenlos löschen.

Zitat von Tipsi15

Hallo stefanbecker,
ich möchte nicht, dass mein Computer zugemüllt wird, weil ich ohnehin kaum Festplattenspeicher mehr habe und manche herumliegenden Dateien den Laptop zu einem einfacheren Angriffsziel für Schadsoftware machen.
Wie sieht es denn generell aus, wenn etwas gedownloadet und installiert wird, aber zum Schluss fehlschlägt? Bleibt das dann alles liegen? Und würden sämtliche durch den Installationsprozess erstellten Dateien (z.B. logs und txt) durch eine Systemwiederherstellung gelöscht werden oder bleiben diese als Dateien davon unberührt?

Hier laufen schon 2 Dinge falsch.

Einerseits sollte man als Entwickler immer versuchen, solche Fragen per Google/eigener Recherche selbst zu beantworten.

Andererseits die Partitionierung/Plattengröße. Wenn sinnvoll gewählt, sollte eine Installation eines Programms nicht zu solchen Fragen führen. Wenn doch, mal über eine größere Platte nachdenken.

Ich bin kein Entwickler und habe daher sämtliche Informationen, die ich bei meiner Recherche via Google und in den Spezialforen gefunden habe, nicht verstanden. Meine Platte hat 200 GB, davon sind nur mehr 2,06 frei.

Danke für eure Antworten

Zitat von Tipsi15

Ich bin kein Entwickler

Und was willst du als Laie mit dieser Software?

Ein wenig Programmieren lernen.

Ohne Englisch wird das nichts. Ist die Grundvoraussetzung.

Du solltest erst mal das Problem des mangelnden Speicherplatzes angehen. Ich würde mal eine Datenträgerbereinigung inkl. Systemdateien Bereinigung ausführen.

Ja, da hast du Recht...

Wie macht man so eine Datenträgerbereinigung? Ich habe bereits alle Dokumente auf einer externen Festplatte gespeichert, um meine Festplatte "aufräumen" zu können.

Da sind wir wieder beim Thema. Als Entwickler muss man Suchmaschinen bedienen können.

Google doch mal danach, dazu gibt es Beiträge ohne Ende. Das ist eine Standard Windows Funktion.

Wenn du programmieren lernen willst, musst du dich erstmal mit den basics beschäftigen. Meine Güte, jmd der Mechaniker lernen will, fängt ja auch nicht gleich mit nem Düsentriebwerk bei nem A380 an oder

Lies mal --> https://de.wikipedia.org/wiki/Java-Hamster-Modell

@stefanbecker: Danke, war mir nicht sicher, ob das ein eindeutiger Begriff ist oder du zum Schluss was anderes gemeint hast, aber hab jetzt gute Anleitungen gefunden

@cosinus: Cool, danke, damit werd ich mich mal auseinandersetzen

Zitat von Tipsi15

Ich bin kein Entwickler und habe daher sämtliche Informationen, die ich bei meiner Recherche via Google und in den Spezialforen gefunden habe, nicht verstanden. Meine Platte hat 200 GB, davon sind nur mehr 2,06 frei.

Danke für eure Antworten

Lege dir doch eine neue, grössere Festplatte zu, kosten doch nicht so viel und selbst SSD's mit 240 GB gibt es schon Gute für unter 100 Euro: https://www.amazon.de/s/ref=nb_sb_noss_2/259-3797614-0193313?__mk_de_DE=%C3%85M%C3%85%C5%BD%C3%95%C3%91&url=search-alias%3Daps&field-keywords=SSD+240+GB und deine jetzige 200 GB Festplatte kannste im PC lassen für Daten.