Simple scripts and custom webpi feed to automate devbox setup.

Just some scripts to automate devbox setup.