A set of bash scripts for managing a Minecraft server.