[19:58] How to I get an ubuntu installation to appear as anything but "ubuntu" in the efibootmgr? [20:02] realtime-neil: there is a cli util that can rename it.. would that work for you? [20:03] I think so; is it efibootmgr? :D [20:03] efibootmgr - manipulate the EFI Boot Manager [20:03] yep [20:03] Why that's _exactly_ the tool my firmware vendor is ignoring! :D [20:04] reading the man page, it may not rename... [20:05] Well, I'm sure deleting and re-creating would do the trick -- if my firmware wasn't preventing me from doing that, too. [20:09] i'm guessing you should grep the installer sources for efibootmgr, and hopefully find -L | --label LABEL [20:09] Boot manager display label (defaults to "Linux") [21:36] CarlFK: how would one grep just those sources? Is that something I could do at codesearch.debian.net ? [21:37] realtime-neil: i would get the sources locally. little surprised you don't have them already. git clone ... and then "grep -rRecurisve/something ..." or I now use ack so I don't have to remember the grep flags [21:38] "grep the installer sources" ... aka do a string search over all the files in all the dirs [21:38] CarlFK: to be clear, am I getting the sources for d-i, grub2, or efibootmgr [22:27] d-i [22:27] I have https://git.launchpad.net/ubuntu/+source/debian-installer [22:28] debian-installer$ ack efibootmgr [22:28] nothing [22:28] boo. [22:37] I poked around, I'm sure there is some clue, like something in build/config/x86.cfg gets passed to grub-install [22:38] i give up. [22:54] CarlFK: well, shucks; thanks for trying, at any rate [23:23] try grub-installer maybe?