On Thu, Sep 19, 2019 at 02:42:05PM +0200, Javier Martinez Canillas wrote:
> Hello Daniel,
>
> On 9/18/19 2:53 PM, Daniel Kiper wrote:
> > On Tue, Sep 17, 2019 at 05:52:10PM +0200, Javier Martinez Canillas wrote:
> >> From: Prarit Bhargava
> >>
> >> The file /etc/grub.d/10_linux does
> >>
> >> if [
Hello Daniel,
On 9/18/19 2:53 PM, Daniel Kiper wrote:
> On Tue, Sep 17, 2019 at 05:52:10PM +0200, Javier Martinez Canillas wrote:
>> From: Prarit Bhargava
>>
>> The file /etc/grub.d/10_linux does
>>
>> if [ "x$is_top_level" = xtrue ] && [ "x${GRUB_DISABLE_SUBMENU}" != xy ]; then
>>
>> when it sho
On Tue, Sep 17, 2019 at 05:52:10PM +0200, Javier Martinez Canillas wrote:
> From: Prarit Bhargava
>
> The file /etc/grub.d/10_linux does
>
> if [ "x$is_top_level" = xtrue ] && [ "x${GRUB_DISABLE_SUBMENU}" != xy ]; then
>
> when it should do
>
> if [ "x$is_top_level" = xtrue ] && [ "x${GRUB_DISABLE
From: Prarit Bhargava
The file /etc/grub.d/10_linux does
if [ "x$is_top_level" = xtrue ] && [ "x${GRUB_DISABLE_SUBMENU}" != xy ]; then
when it should do
if [ "x$is_top_level" = xtrue ] && [ "x${GRUB_DISABLE_SUBMENU}" != xtrue ]; then
which results in submenus in /boot/grub2/grub.cfg when
GRUB