Rename `install-grub` to prevent confusion from `grub-install`

I recall trying to sway opinion on this once before, but it was largely ignored.

The original poll from @philm indicates that voters overwhelmingly preferred grub-reinstall rather than install-grub; I would have preferred it was called manjaro-grub-installer (or similar) to help differentiate it as a Manjaro-specific addition.

At the time, the naming wasn’t anywhere near as important as making sure the script did what was advertised. An unfortunate annoyance for some (with older UEFI implementations) was that the boot order might sometimes be lost in the process; needing to be manually reset in BIOS.

3 Likes