Hvað er idris.exe og hvaða forriti tilheyrir skráin?
idris.exe er forritaskrá forritsins idris. Hún er sett upp ásamt forritinu og með henni er það ræst af skipanalínu.
| Forrit | Útgefandi | Nýjasta útgáfa | Sjálfgefin uppsetningarmappa |
|---|---|---|---|
| idris | — | 1.3.3 | — |
Algengar spurningar
Er idris.exe örugg skrá?
idris.exe er eðlilegur hluti af forritinu idris þegar skráin er í uppsetningarmöppu þess og ber stafræna undirskrift útgefandans. Skrá með sama heiti í annarri möppu getur verið eitthvað annað: athugið undirskrift hennar og SHA256-gildi.
Hvar er idris.exe staðsett?
Í uppsetningarmöppu forritsins, sem uppsetningarforritið velur; winget setur ferðaútgáfur forrita í %LOCALAPPDATA%\Microsoft\WinGet\Packages.
Hvernig er idris.exe fjarlægð?
Fjarlægið forritið idris í Stillingar → Forrit eða með winget; fjarlægingarforritið eyðir idris.exe um leið. Ef aðeins skránni er eytt verður restin af forritinu eftir.