summaryrefslogtreecommitdiff
path: root/libre/grub2/parabola-mkconfig.patch
blob: d9aae850197cdb74cb448e8c08af981c10265dc1 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
diff -ru grub-1.99~rc1-orig/util/grub.d/10_linux.in grub-1.99~rc1/util/grub.d/10_linux.in
--- grub-1.99~rc1-orig/util/grub.d/10_linux.in	2011-08-08 17:03:17.177418423 +0200
+++ grub-1.99~rc1/util/grub.d/10_linux.in	2011-08-08 19:36:17.307138530 +0200
@@ -57,12 +57,22 @@
   version="$2"
   recovery="$3"
   args="$4"
-  if ${recovery} ; then
-    title="$(gettext_quoted "%s, with Linux %s (recovery mode)")"
+  if echo "$version" | fgrep . ; then
+    if ${recovery} ; then
+      title="$(gettext_quoted "%s, with Linux %s (recovery mode)")"
+    else
+      title="$(gettext_quoted "%s, with Linux %s")"
+    fi
+    printf "menuentry '${title}' ${CLASS} {\n" "${os}" "${version}"
   else
-    title="$(gettext_quoted "%s, with Linux %s")"
+    # Parabola GNU/Linux-libre doesn't put kernel version in its file name.
+    if ${recovery} ; then
+      title="$(gettext_quoted "%s (recovery mode)")"
+    else
+      title="%s"
+    fi
+    printf "menuentry '${title}' ${CLASS} {\n" "${os}"
   fi
-  printf "menuentry '${title}' ${CLASS} {\n" "${os}" "${version}"
   if ! ${recovery} ; then
       save_default_entry | sed -e "s/^/\t/"
   fi
@@ -123,7 +133,7 @@
   dirname=`dirname $linux`
   rel_dirname=`make_system_path_relative_to_its_root $dirname`
   version=`echo $basename | sed -e "s,^[^0-9]*-,,g"`
-  base_init=`echo $basename | sed -e "s,vmlinuz,kernel,g"`
+  base_init=`echo $basename | sed -e "s,vmlinuz,initramfs,g"`
   alt_version="${base_init}-fallback"
   linux_root_device_thisversion="${LINUX_ROOT_DEVICE}"
 
diff -ru grub-1.99~rc1-orig/util/grub-mkconfig_lib.in grub-1.99~rc1/util/grub-mkconfig_lib.in
--- grub-1.99~rc1-orig/util/grub-mkconfig_lib.in	2011-08-08 17:03:17.177418423 +0200
+++ grub-1.99~rc1/util/grub-mkconfig_lib.in	2011-08-08 17:04:48.064082390 +0200
@@ -130,7 +130,7 @@
 
 grub_file_is_not_garbage ()
 {
-  if test -f "$1" ; then
+  if test -f "$1" -a ! -L "$1" ; then
     case "$1" in
       *.dpkg-*) return 1 ;; # debian dpkg
       README*)  return 1 ;; # documentation