idris.exe – vad är det för program?
idris.exe är en programfil i idris. Den installeras tillsammans med programmet och används för att starta det från kommandoraden.
| Program | Utgivare | Senaste version | Standardmapp för installation |
|---|---|---|---|
| idris | — | 1.3.3 | — |
Vanliga frågor
Är idris.exe säker?
idris.exe är en normal del av idris när filen ligger i programmets installationsmapp och har utgivarens digitala signatur. En fil med samma namn i en annan mapp kan vara något annat: kontrollera signaturen och hashvärdet.
Var finns idris.exe?
I programmets installationsmapp, som installationsprogrammet väljer; portabla program lägger winget under %LOCALAPPDATA%\Microsoft\WinGet\Packages.
Hur tar man bort idris.exe?
Avinstallera idris via Inställningar → Appar eller med winget; då försvinner idris.exe samtidigt. Tar du bara bort filen blir resten av programmet kvar.