Public bug reported:
# 1. Symptoms: `update-grub` fails when trying to access an os-release
file
root@x250:/home/benjamin# update-grub
Sourcing file `/etc/default/grub'
Sourcing file `/etc/default/grub.d/init-select.cfg'
Generating grub configuration file ...
Public bug reported:
## 1. Symptoms, `update-grub` fails with "no such pool"
### output
benjamin@x250:~$ sudo update-grub
Sourcing file `/etc/default/grub'
Sourcing file `/etc/default/grub.d/init-select.cfg'
Generating grub configuration file ...
cannot