From ab62905bf63b9d43c3d7d5c5d08bedad1401e3e8 Mon Sep 17 00:00:00 2001 From: pvincent Date: Sat, 11 Nov 2023 17:08:51 +0400 Subject: [PATCH] no more nosgx --- src/main | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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