Windows Batch A collection of scripts I've written to make managing an educational, primarily Windows, infrastructure easier with Windows batch and other tools.