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. Ако изтриете само файла, останалата част от програмата остава на компютъра.