idris.exe – hvad er det for et program?
idris.exe er en programfil i idris. Den installeres sammen med programmet og bruges til at starte det fra kommandolinjen.
| Program | Udgiver | Nyeste version | Standardinstallationsmappe |
|---|---|---|---|
| idris | — | 1.3.3 | — |
Ofte stillede spørgsmål
Er idris.exe sikker?
idris.exe er en normal del af idris, når filen ligger i programmets installationsmappe og har udgiverens digitale signatur. En fil med samme navn i en anden mappe kan være noget helt andet: tjek signaturen og hashværdien.
Hvor ligger idris.exe?
I programmets installationsmappe, som installationsprogrammet vælger; winget lægger portable programmer i %LOCALAPPDATA%\Microsoft\WinGet\Packages.
Hvordan fjerner man idris.exe?
Afinstaller idris via Indstillinger → Apps eller med winget; så fjernes idris.exe sammen med programmet. Sletter man kun filen, bliver resten af programmet liggende.