idris.exe – čo je to za program?
idris.exe je programový súbor aplikácie idris. Inštaluje sa spolu s ňou a slúži na jej spustenie z príkazového riadka.
| Program | Výrobca | Najnovšia verzia | Predvolený inštalačný priečinok |
|---|---|---|---|
| idris | — | 1.3.3 | — |
Časté otázky
Je idris.exe bezpečný?
idris.exe je bežnou súčasťou programu idris, ak leží v jeho inštalačnom priečinku a má digitálny podpis výrobcu. Súbor s rovnakým názvom v inom priečinku môže byť niečo úplne iné: overte jeho podpis a hash.
Kde sa nachádza idris.exe?
V inštalačnom priečinku programu, ktorý zvolí inštalátor; prenosné programy ukladá winget do %LOCALAPPDATA%\Microsoft\WinGet\Packages.
Ako odstrániť idris.exe?
Odinštalujte idris v časti Nastavenia → Aplikácie alebo pomocou winget; odinštalačný program odstráni aj idris.exe. Ak vymažete iba samotný súbor, zvyšok programu v počítači zostane.