I'm trying to figure out how to reinstall/get copies of the scripts that Ubuntu has in the /etc/grub.d/ folder. The scripts have names like 00_header and 05_debian_theme. They're used when the command update-grub is run, to generate the Grub2 menu listing.
I was playing around with some customization stuff, and accidentally deleted all of the scripts (well, actually I deliberately deleted them, assuming that reinstalling the grub-pc package would replace them. Bad assumption!)
Does anyone know how to reinstall all the default Grub2 scripts that Ubuntu 12.04 ships with? Or, failing that, can someone point me to a resource to get the contents of the scripts? (I'm plenty willing to copy-paste them in...I don't want to have to reinstall all of Ubuntu for this silly mistake.)