idris.exe – co to za program?
idris.exe to plik programu idris. Instaluje się razem z programem i służy do uruchamiania go z wiersza poleceń.
| Program | Producent | Najnowsza wersja | Domyślny folder instalacji |
|---|---|---|---|
| idris | — | 1.3.3 | — |
Najczęstsze pytania
Czy idris.exe jest bezpieczny?
idris.exe jest zwykłą częścią programu idris, jeśli znajduje się w jego folderze instalacji i ma podpis cyfrowy producenta. Plik o tej samej nazwie w innym folderze może być czymś zupełnie innym: sprawdź jego podpis i skrót (hash).
Gdzie znajduje się idris.exe?
W folderze programu wybranym przez instalator; programy przenośne winget umieszcza w %LOCALAPPDATA%\Microsoft\WinGet\Packages.
Jak usunąć idris.exe?
Odinstaluj idris w Ustawienia → Aplikacje albo za pomocą winget – deinstalator usunie też idris.exe. Samo skasowanie pliku zostawi na dysku resztę programu.