rename_grub

This commit is contained in:
simono41 2018-08-13 14:41:14 +02:00
parent de449e7de9
commit d9e2bb822c

View file

@ -552,6 +552,7 @@ function installation {
} }
function grubinstall() { function grubinstall() {
sed -i 's/GRUB_DISTRIBUTOR=.*$/GRUB_DISTRIBUTOR="${repo}"/' ${mountpoint}/etc/default/grub
sed -i 's/GRUB_CMDLINE_LINUX_DEFAULT=.*$/GRUB_CMDLINE_LINUX_DEFAULT="splash"/' ${mountpoint}/etc/default/grub sed -i 's/GRUB_CMDLINE_LINUX_DEFAULT=.*$/GRUB_CMDLINE_LINUX_DEFAULT="splash"/' ${mountpoint}/etc/default/grub
if [ "${verschluesselung}" == "y" ]; then if [ "${verschluesselung}" == "y" ]; then
if [ "${boot}" == "grub" ]; then if [ "${boot}" == "grub" ]; then