idris.exe – co je to za program?
idris.exe je programový soubor aplikace idris. Instaluje se spolu s ní a slouží k jejímu spuštění z příkazového řádku.
| Program | Výrobce | Nejnovější verze | Výchozí instalační složka |
|---|---|---|---|
| idris | — | 1.3.3 | — |
Časté otázky
Je idris.exe bezpečný?
idris.exe je běžnou součástí programu idris, pokud leží v jeho instalační složce a nese digitální podpis výrobce. Soubor stejného jména v jiné složce může být něco úplně jiného: ověřte jeho podpis a hash.
Kde se nachází idris.exe?
V instalační složce programu, kterou zvolí instalátor; přenosné programy ukládá winget do %LOCALAPPDATA%\Microsoft\WinGet\Packages.
Jak odstranit idris.exe?
Odinstalujte idris v Nastavení → Aplikace nebo pomocí winget; odinstalační program odstraní i idris.exe. Pokud smažete jen samotný soubor, zbytek programu v počítači zůstane.