I was doing some maintenance and a script got away from me. I managed to delete the latest kernel files from /boot
(actually, all the kernel files, including the old ones).
I need to re-install the missing kernel files. They are:
abi-3.2.0-72-generic
config-3.2.0-72-generic
vmlinuz-3.2.0-72-generic
System.map-3.2.0-72-generic
How can I use apt-get
to reinstall the kernel files? Is it sufficient to run sudo apt-get install --reinstall linux-image-3.2.0-72-generic
followed by sudo update-grub2
? Or will I be missing a critical step?