Bash script to automatically change GRUB to listed themes - View it on GitHub