I short Linux script to select from a list of Minecraft launchers.