[ fix ] Exec takes over input - Githubissues

idris-community / inigo

Inigo: A Package Manager for Idris2

https://inigo.pm

MIT License

61 stars 7 forks source link

[ fix ] Exec takes over input #14

Closed Z-snails closed 3 years ago

Z-snails commented 3 years ago

The child process now takes over parent process's stdio. Fixes #6.