purs.exe: ¿qué es y de qué programa es?
purs.exe es un archivo de programa de purescript. Se instala junto con el programa y sirve para iniciarlo desde la línea de comandos.
| Programa | Desarrollador | Última versión | Carpeta de instalación predeterminada |
|---|---|---|---|
| purescript | — | 0.15.16 | — |
Preguntas frecuentes
¿Es seguro purs.exe?
purs.exe es una parte normal de purescript cuando está en la carpeta de instalación del programa y lleva la firma digital del desarrollador. Un archivo con el mismo nombre en otra carpeta puede ser otra cosa: conviene comprobar su firma y su hash.
¿Dónde está purs.exe?
En la carpeta de instalación del programa, que elige el instalador; winget coloca los programas portables en %LOCALAPPDATA%\Microsoft\WinGet\Packages.
¿Cómo se elimina purs.exe?
Desinstalando purescript desde Configuración → Aplicaciones o con winget: el desinstalador elimina también purs.exe. Si solo se borra el archivo, el resto del programa queda en el equipo.