From 0cbc5264522a92dd1f02a363dd3856adb07797da Mon Sep 17 00:00:00 2001 From: AnthonyAxenov Date: Sat, 8 Jan 2022 14:23:20 +0800 Subject: [PATCH] =?UTF-8?q?=D0=9A=D0=BE=D1=80=D1=80=D0=B5=D0=BA=D1=82?= =?UTF-8?q?=D0=B8=D1=80=D0=BE=D0=B2=D0=BA=D0=B0=20grub-customizer?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- install/100-grub-customizer.sh | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/install/100-grub-customizer.sh b/install/100-grub-customizer.sh index 06e578f..1452564 100755 --- a/install/100-grub-customizer.sh +++ b/install/100-grub-customizer.sh @@ -1,6 +1,9 @@ #!/bin/bash -. "../src/01-common.sh" || exit 5 -title "Installing grub-customizer..." +echo +echo "===============================================" +echo "Installing grub-customizer..." +echo "===============================================" +echo sudo add-apt-repository ppa:danielrichter2007/grub-customizer -apti grub-customizer +sudo apt install -y --autoremove grub-customizer