[ feature request ] Add a dependency checker script

[GunpowderGuy]

Rather than checking which packages your specific os/ linux distro comes with and having to install the rest, i think it would be ideal if we had the option to run a script before installation that tells us the packages we need

[stefan-hoeck]

This is a good idea and would be a nice thing to have. Contributions welcome.

[GunpowderGuy]

I can think of two ways to go ahead with this feature:

Keep per os/ distro scripts that install all necessary dependencies

Use the same method as the installation utility to check which dependencies have not been installed. How does that get sorted out?

[GunpowderGuy]

@stefan-hoeck how does the pack installer sort which dependencies still havent been installed

[stefan-hoeck]

@stefan-hoeck how does the pack installer sort which dependencies still havent been installed

Do you mean Idris dependencies or OS dependencies?

[GunpowderGuy]

@stefan-hoeck Os dependencies. Maybe i can reuse that system to tell the user what libraries need to be installed before running the pack install script