purs.exe : qu’est-ce que c’est ?
purs.exe est un fichier programme de purescript. Il est installé avec le logiciel et permet de le lancer depuis la ligne de commande.
| Logiciel | Éditeur | Dernière version | Dossier d’installation par défaut |
|---|---|---|---|
| purescript | — | 0.15.16 | — |
Questions fréquentes
purs.exe est-il sûr ?
purs.exe fait normalement partie de purescript lorsqu’il se trouve dans le dossier d’installation du logiciel et porte la signature numérique de l’éditeur. Un fichier du même nom placé ailleurs peut être tout autre chose : vérifiez sa signature et son empreinte (hash).
Où se trouve purs.exe ?
Dans le dossier d’installation du logiciel, choisi par le programme d’installation ; winget place les logiciels portables dans %LOCALAPPDATA%\Microsoft\WinGet\Packages.
Comment supprimer purs.exe ?
Désinstallez purescript depuis Paramètres → Applications ou avec winget : purs.exe est supprimé en même temps. Effacer le fichier seul laisse le reste du logiciel en place.