On 07.06.2017 19:16, ChristianEhrhardt wrote:
> This covers also other sorts of typos, dupping a bug onto this.
> The solution should be independent of that text anyway to be done right.
>
It is either text or entry number currently. There has been some thinking about
moving the generator in /etc/grub.d but that has been said to be complicated. Or
causing problems.
I agree it is an inconvenience but after all /etc/default/grub.d/xen.cfg is a
config file.
On 07.06.2017 19:16, ChristianEhrhardt wrote:
> This covers also other sorts of typos, dupping a bug onto this.
> The solution should be independent of that text anyway to be done right.
>
It is either text or entry number currently. There has been some thinking about grub.d/ xen.cfg is a
moving the generator in /etc/grub.d but that has been said to be complicated. Or
causing problems.
I agree it is an inconvenience but after all /etc/default/
config file.