diff options
| author | Luke T. Shumaker <lukeshu@parabola.nu> | 2024-01-07 15:22:54 -0700 |
|---|---|---|
| committer | Luke T. Shumaker <lukeshu@parabola.nu> | 2024-01-07 15:22:54 -0700 |
| commit | b04dc7f90e0eab051f49d61637d33658e011b151 (patch) | |
| tree | d63a8362bd7556dfe922bfedc2bd7ca36d1982df /libre/grub/0003-10_linux-20_linux_xen-detect-udoo-devicetree-file.patch | |
| parent | 3588fef4dad7bbb21bc93b10757a61c41c733809 (diff) | |
libre/grub: rename the patch files to have obvious ordering/purpose
Diffstat (limited to 'libre/grub/0003-10_linux-20_linux_xen-detect-udoo-devicetree-file.patch')
| -rw-r--r-- | libre/grub/0003-10_linux-20_linux_xen-detect-udoo-devicetree-file.patch | 56 |
1 files changed, 0 insertions, 56 deletions
diff --git a/libre/grub/0003-10_linux-20_linux_xen-detect-udoo-devicetree-file.patch b/libre/grub/0003-10_linux-20_linux_xen-detect-udoo-devicetree-file.patch deleted file mode 100644 index 692ac51f2..000000000 --- a/libre/grub/0003-10_linux-20_linux_xen-detect-udoo-devicetree-file.patch +++ /dev/null @@ -1,56 +0,0 @@ ---- a/util/grub.d/10_linux.in 2021-06-17 03:06:45.912081000 -0500 -+++ b/util/grub.d/10_linux.in 2021-06-18 02:58:17.879587880 -0500 -@@ -155,6 +155,14 @@ - initrd $(echo $initrd_path) - EOF - fi -+ if test -d "${rel_dirname}/dtbs/${version}/imx6q-udoo.dtb" ; then -+ # TRANSLATORS: Device tree path isn't identifier. Should be translated. -+ message="$(gettext_printf "Loading devices tree path ...")" -+ sed "s/^/$submenu_indentation/" << EOF -+ echo '$(echo "$message" | grub_quote)' -+ devicetree ${rel_dirname}/dtbs/${version}/imx6q-udoo.dtb -+EOF -+ fi - sed "s/^/$submenu_indentation/" << EOF - } - EOF -@@ -261,6 +269,10 @@ - fi - fi - -+ if test -d "${dirname}/dtbs/${version}/imx6q-udoo.dtb" ; then -+ gettext_printf "Found device tree directory: %s\n" "${dirname}/dtbs/${version}/imx6q-udoo.dtb" >&2 -+ fi -+ - # The GRUB_DISABLE_SUBMENU option used to be different than others since it was - # mentioned in the documentation that has to be set to 'y' instead of 'true' to - # enable it. This caused a lot of confusion to users that set the option to 'y', ---- a/util/grub.d/20_linux_xen.in 2021-06-17 03:06:56.202081000 -0500 -+++ b/util/grub.d/20_linux_xen.in 2021-06-18 02:59:12.559587771 -0500 -@@ -172,6 +172,14 @@ - ${module_loader} ${rel_dirname}/${xenpolicy} - EOF - fi -+ if test -d "${rel_dirname}/dtbs/${version}/imx6q-udoo.dtb" ; then -+ # TRANSLATORS: Device tree path isn't identifier. Should be translated. -+ message="$(gettext_printf "Loading devices tree path ...")" -+ sed "s/^/$submenu_indentation/" << EOF -+ echo '$(echo "$message" | grub_quote)' -+ devicetree ${rel_dirname}/dtbs/${version}/imx6q-udoo.dtb -+EOF -+ fi - sed "s/^/$submenu_indentation/" << EOF - } - EOF -@@ -316,6 +324,10 @@ - fi - fi - -+ if test -d "${dirname}/dtbs/${version}/imx6q-udoo.dtb" ; then -+ gettext_printf "Found device tree directory: %s\n" "${dirname}/dtbs/${version}/imx6q-udoo.dtb" >&2 -+ fi -+ - # The GRUB_DISABLE_SUBMENU option used to be different than others since it was - # mentioned in the documentation that has to be set to 'y' instead of 'true' to - # enable it. This caused a lot of confusion to users that set the option to 'y', |