grubc rename

This commit is contained in:
Anthony Axenov 2024-07-31 23:26:44 +08:00
parent 6d7719d568
commit 3c87f837eb
Signed by: anthony
GPG Key ID: EA9EC32FF7CCD4EC
2 changed files with 15 additions and 11 deletions

15
install/grub-customizer Executable file
View File

@ -0,0 +1,15 @@
#!/bin/bash
##makedesc: Install grub-customizer (latest + ppa)
source `dirname $0`/../helpers || exit 255
title
sudo add-apt-repository -y ppa:danielrichter2007/grub-customizer && \
sudo apt install -y --autoremove grub-customizer
[ $? = 0 ] && {
echo
success "grub-customizer installed!"
grub-customizer -v
echo
}

View File

@ -1,11 +0,0 @@
#!/bin/bash
##makedesc: Install grub-customizer (latest) + ppa
echo
echo "==============================================="
echo "Installing grub-customizer (latest)..."
echo "==============================================="
echo
sudo add-apt-repository -y ppa:danielrichter2007/grub-customizer
sudo apt install -y --autoremove grub-customizer