idris.exe – was ist das für ein Programm?
idris.exe ist eine Programmdatei von idris. Sie wird zusammen mit dem Programm installiert und startet es über die Befehlszeile.
| Programm | Hersteller | Neueste Version | Standard-Installationsordner |
|---|---|---|---|
| idris | — | 1.3.3 | — |
Häufige Fragen
Ist idris.exe sicher?
idris.exe ist ein normaler Bestandteil von idris, wenn die Datei im Installationsordner des Programms liegt und die digitale Signatur des Herstellers trägt. Eine gleichnamige Datei in einem anderen Ordner kann etwas anderes sein: Prüfen Sie Signatur und Hashwert.
Wo befindet sich idris.exe?
Im Installationsordner des Programms, den das Installationsprogramm festlegt; portable Programme legt winget unter %LOCALAPPDATA%\Microsoft\WinGet\Packages ab.
Wie lässt sich idris.exe entfernen?
Deinstallieren Sie idris über Einstellungen → Apps oder mit winget; dabei wird idris.exe mit entfernt. Löschen Sie nur die Datei, bleibt der Rest des Programms zurück.