Hi, I just wanted to point out that the source command in grub2 isn't documented. I found this command very helpful, so I think it should be.
Cheers Matthias _______________________________________________ Bug-grub mailing list Bug-grub@gnu.org https://lists.gnu.org/mailman/listinfo/bug-grub