|
@ -137,7 +137,7 @@ echo "==========================" |
|
|
if grep -q GRUB_TIMEOUT=5 /etc/default/grub; then |
|
|
if grep -q GRUB_TIMEOUT=5 /etc/default/grub; then |
|
|
echo "grub was not modified yet, applying changes..." |
|
|
echo "grub was not modified yet, applying changes..." |
|
|
sudo /opt/debian-bash/tools/append_or_replace "^GRUB_TIMEOUT=5$" "GRUB_TIMEOUT=0" /etc/default/grub |
|
|
sudo /opt/debian-bash/tools/append_or_replace "^GRUB_TIMEOUT=5$" "GRUB_TIMEOUT=0" /etc/default/grub |
|
|
sudo /opt/debian-bash/tools/append_or_replace "^GRUB_CMDLINE_LINUX_DEFAULT=.*$" "GRUB_CMDLINE_LINUX_DEFAULT=\"quiet nosgx\"" /etc/default/grub |
|
|
|
|
|
|
|
|
# sudo /opt/debian-bash/tools/append_or_replace "^GRUB_CMDLINE_LINUX_DEFAULT=.*$" "GRUB_CMDLINE_LINUX_DEFAULT=\"quiet nosgx\"" /etc/default/grub |
|
|
sudo update-grub |
|
|
sudo update-grub |
|
|
echo OK |
|
|
echo OK |
|
|
else |
|
|
else |
|
|