Shell scripts for administering a Minecraft FTB server