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. Если стереть только сам файл, остальная часть программы останется на диске.