idris.exe – hva er det for et program?
idris.exe er en programfil i idris. Den installeres sammen med programmet og brukes til å starte det fra kommandolinjen.
| Program | Utgiver | Nyeste versjon | Standard installasjonsmappe |
|---|---|---|---|
| idris | — | 1.3.3 | — |
Ofte stilte spørsmål
Er idris.exe trygg?
idris.exe er en normal del av idris når filen ligger i programmets installasjonsmappe og har utgiverens digitale signatur. En fil med samme navn i en annen mappe kan være noe helt annet: sjekk signaturen og hashverdien.
Hvor ligger idris.exe?
I programmets installasjonsmappe, som installasjonsprogrammet velger; winget legger portable programmer i %LOCALAPPDATA%\Microsoft\WinGet\Packages.
Hvordan fjerner man idris.exe?
Avinstaller idris via Innstillinger → Apper eller med winget; da fjernes idris.exe sammen med programmet. Sletter man bare filen, blir resten av programmet liggende igjen.