rm_kernel.sh

#!/bin/bash

read -p "Please input kernel-version: " kernel

#test -e $kernel 

Libmodule=/lib/modules/$kernel-generic
Usrheader=/usr/src/linux-headers-$kernel


if [ -e "$Libmodule" ];then
	#echo $Libmodule
	sudo rm -rf $Libmodule
else
	echo "No such kernel"
fi

if [ -e "$Usrheader" ];then
	#echo $Usrheader
	sudo rm -rf $Usrheader*
else
	echo "No such kernel"
fi

sudo rm /boot/*$kernel*
sudo rm /var/lib/dpkg/info/linux-headers-$kernel*

echo "update>>>"

sudo update-grub

echo "done..."