[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH] Capitalise "Linux"
From: |
Colin Watson |
Subject: |
[PATCH] Capitalise "Linux" |
Date: |
Thu, 11 Jun 2009 16:23:12 +0100 |
User-agent: |
Mutt/1.5.18 (2008-05-17) |
"Linux" is a proper noun and should be capitalised in user-visible text.
Index: util/grub.d/10_linux.in
===================================================================
--- util/grub.d/10_linux.in (revision 2297)
+++ util/grub.d/10_linux.in (working copy)
@@ -141,9 +141,9 @@
linux_root_device_thisversion=${GRUB_DEVICE}
fi
- linux_entry "${OS}, linux ${version}" \
+ linux_entry "${OS}, Linux ${version}" \
"${GRUB_CMDLINE_LINUX} ${GRUB_CMDLINE_LINUX_DEFAULT}"
- linux_entry "${OS}, linux ${version} (recovery mode)" \
+ linux_entry "${OS}, Linux ${version} (recovery mode)" \
"single ${GRUB_CMDLINE_LINUX}"
list=`echo $list | tr ' ' '\n' | grep -vx $linux | tr '\n' ' '`
Thanks,
--
Colin Watson address@hidden
- [PATCH] Capitalise "Linux",
Colin Watson <=