diff --git a/src/main b/src/main index be271f1..b3c1b14 100755 --- a/src/main +++ b/src/main @@ -137,7 +137,7 @@ echo "==========================" if grep -q GRUB_TIMEOUT=5 /etc/default/grub; then 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_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 echo OK else