diff options
author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2018-02-07 18:13:30 -0500 |
---|---|---|
committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2018-02-07 18:13:30 -0500 |
commit | afba797082e1cf8929b2679b348b9433359b670c (patch) | |
tree | 1c8d91a49d79385040068e4fe1506a0fe2589ee1 /libre/grub-git/grub-2.00-mkinitcpio-0.15.patch | |
parent | 534a2c53818eed17a6c04f2006e566b479a7c7ac (diff) | |
download | abslibre-afba797082e1cf8929b2679b348b9433359b670c.tar.gz abslibre-afba797082e1cf8929b2679b348b9433359b670c.tar.bz2 abslibre-afba797082e1cf8929b2679b348b9433359b670c.zip |
Removing grub-git: Use grub instead
Diffstat (limited to 'libre/grub-git/grub-2.00-mkinitcpio-0.15.patch')
-rw-r--r-- | libre/grub-git/grub-2.00-mkinitcpio-0.15.patch | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/libre/grub-git/grub-2.00-mkinitcpio-0.15.patch b/libre/grub-git/grub-2.00-mkinitcpio-0.15.patch deleted file mode 100644 index 1af848fa3..000000000 --- a/libre/grub-git/grub-2.00-mkinitcpio-0.15.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- util/grub.d/10_linux.in.old 2013-07-28 08:55:47.825946239 +0200 -+++ util/grub.d/10_linux.in 2013-07-28 08:56:14.082201512 +0200 -@@ -138,7 +138,7 @@ - message="$(gettext_printf "Loading Linux %s ..." "${version}")" - sed "s/^/$submenu_indentation/" << EOF - echo '$(echo "$message" | grub_quote)' -- linux ${rel_dirname}/${basename} root=${linux_root_device_thisversion} ro ${args} -+ linux ${rel_dirname}/${basename} root=${linux_root_device_thisversion} rw ${args} - EOF - if test -n "${initrd}" ; then - # TRANSLATORS: ramdisk isn't identifier. Should be translated. |