bug#26544: [PATCH v4 10/10] scripts: Remove profile-grub-entries.

guix-patches

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#26544: [PATCH v4 10/10] scripts: Remove profile-grub-entries.

From:	Mathieu Othacehe
Subject:	bug#26544: [PATCH v4 10/10] scripts: Remove profile-grub-entries.
Date:	Fri, 21 Apr 2017 18:11:35 +0200
User-agent:	mu4e 0.9.18; emacs 25.2.1

Hi,

> PATCH v4 06/10 should also fix it.  Doesn't it?  I tested it here and it 
> seems fine.
>
> Or do I misunderstand which problem you mean?

Nope, I just didn't received v4 06/10 when I wrote that, sorry.

I just tested v4 serie (reconfigure, list-generation, switch-generation
and vm), everything seems fine for me !

Thanks,

Mathieu

[Prev in Thread]

Current Thread

[Next in Thread]

bug#26544: [PATCH v4 02/10] system: Rename operating-system-parameters-file to operating-system-boot-parameters-file., (continued)

Prev by Date: bug#26590: gnu: Add libbson.
Next by Date: bug#26488: [PATCH] gnu: Add crawl.
Previous by thread: bug#26544: [PATCH v4 10/10] scripts: Remove profile-grub-entries.
Next by thread: bug#26544: [PATCH v4 00/10] system: Move "--load" and other guix-specific parameters from the grub module to the generic system module.
Index(es):
- Date
- Thread