From 21d8bae0ee69e24daed6df4fcd9ad1d32525bda0 Mon Sep 17 00:00:00 2001 From: DeltaLima Date: Wed, 21 Jun 2023 17:49:02 +0200 Subject: [PATCH] remove my personal preferences and make it more "vanilla ubuntu" --- setup.sh | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/setup.sh b/setup.sh index 20f68af..3ae6c5b 100644 --- a/setup.sh +++ b/setup.sh @@ -137,7 +137,7 @@ do case $category in 0-base) message "sed default grub option" - sudo sed -i 's/GRUB_CMDLINE_LINUX_DEFAULT=.*$/GRUB_CMDLINE_LINUX_DEFAULT=\"quiet splash mem_sleep_default=deep\"/g' /etc/default/grub || error + sudo sed -i 's/GRUB_CMDLINE_LINUX_DEFAULT=.*$/GRUB_CMDLINE_LINUX_DEFAULT=\"quiet splash\"/g' /etc/default/grub || error sudo update-grub ;; @@ -203,9 +203,6 @@ EOF gsettings set org.gnome.shell.extensions.dash-to-dock running-indicator-style 'DOTS' gsettings set org.gnome.shell.extensions.dash-to-dock icon-size-fixed true - message "apply settings for panel-osd" - # panel-osd - gsettings set org.gnome.shell.extensions.panel-osd x-pos 100.0 message "apply settings for gnome desktop" # desktop