Browse Source

grub splash

main
pvincent 3 hours ago
parent
commit
8543e7d751
  1. 3
      src/trixie.sh

3
src/trixie.sh

@ -173,6 +173,7 @@ function faster_grub {
if grep -q GRUB_TIMEOUT=5 /etc/default/grub; then
echo "grub was not modified yet, applying changes..."
sudo /opt/miaou-bash/tools/append_or_replace "^GRUB_TIMEOUT=5$" "GRUB_TIMEOUT=0" /etc/default/grub
sudo /opt/miaou-bash/tools/append_or_replace "^GRUB_CMDLINE_LINUX_DEFAULT=.*$" "GRUB_CMDLINE_LINUX_DEFAULT=\"quiet splash\"" /etc/default/grub
sudo update-grub
echo OK
else
@ -383,8 +384,6 @@ function gnome_extensions {
$BASEDIR/tools/gnome-extensions-helper dash-to-dock@micxgx.gmail.com --apply-custom-theme=true --multi-monitor=true --dash-max-icon-size=58 |
grep -q '^please logout to take effect!' && LOGOUT_REQUIRED=true
$BASEDIR/tools/gnome-extensions-helper dash-to-dock@micxgx.gmail.com --apply-custom-theme=true --multi-monitor=true --dash-max-icon-size=58
$BASEDIR/tools/gnome-extensions-helper runcat@kolesnikov.se --idle-threshold=66 |
grep -q 'please logout to take effect!' && LOGOUT_REQUIRED=true
# $BASEDIR/tools/gnome-extensions-helper netspeedsimplified@prateekmedia.extension |

Loading…
Cancel
Save