Possible future `grub2pxe` bug to fix.
An email from at Stanford pointed out the boot-time error message on the m510 nodes:
error: can't find command `pxe'
which I got side-tracked looking into. Somewhere between Ryan's original Grub 1.97 and the official Grub 2.x that we use now, they got rid of the pxe
command. We were/are using this in our PXE-loaded grub.cfg to enable a DB specification of os_info_versions.path
of the form server:path. The "pxe -s" command would set the TFTP server used by the PXE command.
I think what this means is that we can no longer load an MFS (the only instance where the path column is not NULL) from anywhere but the PXE (aka DHCP) server. I don't even recall where/why we would have needed this feature (we don't do it anywhere today), so probably not a big deal.