https://kloeckner.com.ar

Commits Files Refs README LICENSE

commit 8f6b5421a915cc223d50d128b44a3ea303e9de1f
parent 3ca581cd0331d37c87aa391ef8ba800542a1455d
Author: Martin Kloeckner <mjkloeckner@gmail.com>
Date:   Sat,  2 Nov 2024 22:02:50 -0300

fix diff file

Diffstat:
M
blog/grub-linux-version-fix/grub-linux-version-fix.md
 | 
5
+++--

1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/blog/grub-linux-version-fix/grub-linux-version-fix.md b/blog/grub-linux-version-fix/grub-linux-version-fix.md
@@ -22,7 +22,7 @@ to the kernel file (for example `/boot/vmlinuz-linux`).
 The solution is to to modify the file `/etc/grub.d/10_linux` and make the
 following changes (also as a [diff file](https://gist.githubusercontent.com/mjkloeckner/214a0ee42c920affe572e12e933a1bb0/raw/24bda0dfa02c7baba3b983fb71662c1904645fa8/fix-grub-linux-display-version.diff)):
 
-```patch
+```diff
 --- /etc/grub.d/10_linux
 +++ /etc/grub.d/10_linux
 @@ -144,7 +144,7 @@
@@ -45,7 +45,8 @@ following changes (also as a [diff file](https://gist.githubusercontent.com/mjkl
 @@ -290,7 +291,7 @@
    fi
  
-   if [ "x$is_top_level" = xtrue ] && [ "x${GRUB_DISABLE_SUBMENU}" != xtrue ]; then -    linux_entry "${OS}" "${version}" simple \
+   if [ "x$is_top_level" = xtrue ] && [ "x${GRUB_DISABLE_SUBMENU}" != xtrue ]; then
+-    linux_entry "${OS}" "${version}" simple \
 +    linux_entry "${OS}" "${display_version}" simple \
      "${GRUB_CMDLINE_LINUX} ${GRUB_CMDLINE_LINUX_DEFAULT}"