我正在尝试在 Ubuntu 20.04 上安装 grub-customizer 但它不起作用。
这是我尝试过的（如多个网站所建议的）：
$ sudo add-apt-repository ppa:danielrichter2007/grub-customizer
$ sudo apt update
$ sudo apt install grub-customizer
好像没有找到包：
Err:13 http://ppa.launchpad.net/danielrichter2007/grub-customizer/ubuntu focal Release
404 Not Found [IP: 91.189.95.83 80]
这是最后一个命令的输出：
Reading package lists... Done
Building dependency tree
Reading state information... Done
E: Unable to locate package grub-customizer
我在一些地方读到人们已经能够在 20.04 上正确安装它。我究竟做错了什么？
谢谢