idris.exe — що це за програма?
idris.exe — виконуваний файл програми idris. Він встановлюється разом із нею й запускає її з командного рядка.
| Програма | Розробник | Остання версія | Типова папка встановлення |
|---|---|---|---|
| idris | — | 1.3.3 | — |
Часті питання
Чи безпечний файл idris.exe?
Якщо idris.exe лежить у папці встановлення програми й має цифровий підпис розробника, це звичайна частина idris. Файл із такою самою назвою в іншій папці може виявитися чим завгодно: перевірте його підпис і хеш.
Де знаходиться idris.exe?
У папці програми, яку обирає інсталятор; портативні програми winget розміщує в %LOCALAPPDATA%\Microsoft\WinGet\Packages.
Як видалити idris.exe?
Видаліть idris через «Настройки» → «Програми» або за допомогою winget — деінсталятор прибере й idris.exe. Якщо стерти лише сам файл, решта програми залишиться на диску.