Today's unfortunate discovery: efibootmgr is kind of bad
@mwhudson none of the words in its name made me think it was going to be something good
@glyph it's not bad in any very exciting way, it's just kind of deficient (there's no sensible way to see if the boot entry you want to ensure exists is already there, so the simplest thing to do is to create it anyway and see if there are now duplicates - but some firmware doesn't like repeated writes...)
@mwhudson Yeah, this is why I gave up on it however long ago it was and reimplemented the relevant bits in grub-install. Not ideal though
@cjwatson yeah I read the descriptive part of that distro patch and sighed a lot. I don't suppose you want to refactor that stuff out into a nicely reusable separate command line tool? :)
@mwhudson if I were hacking on grub again (which is not in my plans at the moment), I'd probably see if I could get corresponding functionality back into efibootmgr. It shouldn't be fundamentally impossible or anything, and if I'd done that N years ago then it'd be everywhere by now
@cjwatson i think you did this in 2019, which is only last year or something?
@mwhudson what is time? But I managed to get other people to take over Debian grub2 for me in between, I think that was last year now