bug#31159: Reverse order for old grub.cfg entries

2018-04-23 Thread Ludovic Courtès
Mathieu Othacehe skribis: >> Not really. I think we can at least send a heads-up to guix-devel and >> help-guix. > > Ok. Would the attached patch earlier in the thread be ok for you then ? Sure! Ludo'.

bug#31159: Reverse order for old grub.cfg entries

2018-04-19 Thread Mathieu Othacehe
> Not really. I think we can at least send a heads-up to guix-devel and > help-guix. Ok. Would the attached patch earlier in the thread be ok for you then ? Thanks, Mathieu

bug#31159: Reverse order for old grub.cfg entries

2018-04-18 Thread Ludovic Courtès
Mark H Weaver skribis: > l...@gnu.org (Ludovic Courtès) writes: >> I agree with you. As long as the entry labels clearly show which one is >> the most recent, that sounds good. >> >> However! On headless machines, we’d rather make sure users know about >> this change. On our Libreboot “bayfron

bug#31159: Reverse order for old grub.cfg entries

2018-04-18 Thread Mark H Weaver
Hi Ludovic, l...@gnu.org (Ludovic Courtès) writes: > I agree with you. As long as the entry labels clearly show which one is > the most recent, that sounds good. > > However! On headless machines, we’d rather make sure users know about > this change. On our Libreboot “bayfront” server, GRUB for

bug#31159: Reverse order for old grub.cfg entries

2018-04-18 Thread Ludovic Courtès
Hello, Mark H Weaver skribis: > Mathieu Othacehe writes: > >> This seems like a good idea ! If we decide to make it unconditional the >> patch attached does the job. We can also make it configurable in >> bootloader-configuration for instance. >> >> WDYT ? > > Thank you, Mathieu! I doubt that

bug#31159: Reverse order for old grub.cfg entries

2018-04-17 Thread Mark H Weaver
Mathieu Othacehe writes: > This seems like a good idea ! If we decide to make it unconditional the > patch attached does the job. We can also make it configurable in > bootloader-configuration for instance. > > WDYT ? Thank you, Mathieu! I doubt that there's a need to make this configurable, bu

bug#31159: Reverse order for old grub.cfg entries

2018-04-17 Thread Mathieu Othacehe
Hi, This seems like a good idea ! If we decide to make it unconditional the patch attached does the job. We can also make it configurable in bootloader-configuration for instance. WDYT ? Mathieu >From 3ec63fb55a074b547724c70d560cc61776c9298e Mon Sep 17 00:00:00 2001 From: Mathieu Othacehe Date

bug#31159: Reverse order for old grub.cfg entries

2018-04-16 Thread Mark H Weaver
Vagrant Cascadian writes: > This is a pretty minor issue, but I've found that the "GNU system, old > configurations..." part of the menu would be nicer if the most recent > generations were listed at the top, rather than the oldest generations. > > Currently it lists generation 1 as the first ent

bug#31159: Reverse order for old grub.cfg entries

2018-04-15 Thread Joshua Branson
That's actually a pretty good idea! Vagrant Cascadian writes: > Hi! > > This is a pretty minor issue, but I've found that the "GNU system, old > configurations..." part of the menu would be nicer if the most recent > generations were listed at the top, rather than the oldest generations. > > Cu

bug#31159: Reverse order for old grub.cfg entries

2018-04-14 Thread Vagrant Cascadian
Hi! This is a pretty minor issue, but I've found that the "GNU system, old configurations..." part of the menu would be nicer if the most recent generations were listed at the top, rather than the oldest generations. Currently it lists generation 1 as the first entry in the list, and if I've got