You are not logged in.

#1 2014-06-21 19:07:53

TE
Member
Registered: 2014-06-21
Posts: 78

GRUB 10_linux patch - what's the best way to share?

New to Arch but not Linux. smile So, trying this adventure called Arch and one of the things that annoyed me right away is how GRUB discovers the kernels when you have both 'linux' and 'linux-lts' installed (primary and backup per the wiki) without version numbers. I created a simple patch so that natural alpha sorting order is used and 'linux' becomes the default kernel (both with/without submenu enabled). This seems to me what the average user is probably looking for by default, not the 'linux-lts' kernel (the problem is in how the internal version comparison routines work in /usr/share/grub/grub-mkconfig_lib - they don't expect a list of kernels with *no* versions in the names).

Should I:

  1. Post on the GRUB Discussion page

  2. Post on the main GRUB wiki page as a new item

  3. Post to the GNU GRUB bugtracker and hope

Not sure what's considered the right way to go about it in this community, guidance? Thx!

--- 10_linux.orig	2014-05-14 01:22:27.000000000 -0500
+++ 10_linux	2014-06-21 13:20:37.816869963 -0500
@@ -177,7 +177,16 @@
 
 is_top_level=true
 while [ "x$list" != "x" ] ; do
-  linux=`version_find_latest $list`
+  # version_find_latest returns 'linux-lts' before 'linux' on the average
+  # Arch install of these two kernels, we'll first check if there are any
+  # numerics in the kernels, and if not just pop them off the stack in
+  # natural alpha sorting order.
+  if [ $(echo $list | grep -q '[0-9]') ]; then
+    linux=`version_find_latest $list`
+  else
+    artmp=($list)
+    linux=${artmp[0]}
+  fi
   gettext_printf "Found linux image: %s\n" "$linux" >&2
   basename=`basename $linux`
   dirname=`dirname $linux`

Offline

#2 2014-06-21 19:23:34

clfarron4
Member
From: London, UK
Registered: 2013-06-28
Posts: 2,163
Website

Re: GRUB 10_linux patch - what's the best way to share?

I'd probably post it as a Feature Request on the bugtracker. Seems the most sensible thing to do.

Referencing this post in the GRUB Discussion might be a good idea as well.


Claire is fine.
Problems? I have dysgraphia, so clear and concise please.
My public GPG key for package signing
My x86_64 package repository

Offline

#3 2014-06-22 17:44:07

TE
Member
Registered: 2014-06-21
Posts: 78

Re: GRUB 10_linux patch - what's the best way to share?

Great, thanks - done and done.

https://savannah.gnu.org/bugs/index.php?42597
https://wiki.archlinux.org/index.php/Ta … t_versions

My patch is pretty basic, there's probably a better way of going about this the GRUB coders will figure out.

Offline

Board footer

Powered by FluxBB