In any case, as far as I have understood, Here is the primary benefit of come across in excess of globs in directories that have loads of files in them. and chose to use /boot/grub2/ as their GRUB prefix instead of the de-facto /boot/grub/ (and with the document, they did https://cateb284exq3.wikifordummies.com/user