default-kernel

#!/bin/bash
clear
#                       _____               _  
#                      |  _  |             | | 
#   __ _ _ __ _ __ ___ | |/' | _ __ ___  __| | 
#  / _` | '__| '_ ` _ \|  /| || '__/ _ \/ _` | 
# | (_| | |  | | | | | \ |_/ /| | |  __/ (_| | 
#  \__,_|_|  |_| |_| |_|\___(_)_|  \___|\__,_| 

base64 -d <<<"H4sIAAAAAAAAA22NQQoAIQhF957CXQ0MeKHgdxAPP1+tWUSKEs+nqV4DESdTlbvtOfSDeeo8k7kb
iyNr7D9gW7opJl8tQINOOoN3jeOkFmBJwuq56PVd5VCnZovHSt/XB/DCEXqgKkJ0PEHj6SWpyAe/
8We1GwEAAA==" | gunzip
echo -e "\e[31;1m ***** \e[34;1m arm0.red Security \e[31;1m *****\e[0m"
echo -e "\e[31;1m ***** \e[34;1m Default kernel set script \e[31;1m *****\e[0m"

echo ""
echo -e "\e[34;1mListing installed kernels\e[31;1m...\e[0m"
sudo grubby --info=ALL | grep -E "^kernel|^index"

read -r -p "Which index number do you want to set as default? " response
sudo grubby --set-default-index=$response

echo ""
echo -e "\e[34;1mNew Default Kernel\e[31;1m:\e[0m"
sudo grubby --default-title

echo ""
echo -e "\e[1;32mDone.\e[0m"