Over the last six months, linux-hwe-5.4-headers-5-4-0-xx haven't been deleted from usr-->src directory. Earlier from the current versions, v42 to v62 are still available.
Will there be any problem if I delete them manually? Ubuntu 18.04.
And, is there any explanation why this happened? System has been operating for over 18 months, but this started about 6 months ago.
sudo apt autoremove
– Charles Green Mar 12 '21 at 03:46apt purge
to help remove the older files and ensure that nothing is hooked to - sort of aapt list *linux* | grep installed
and thensudo apt purge linux-headers-3.8.1...
kind of loop. Myself, an occasionalsudo apt autoremove --purge
seems to keep things happy. – Charles Green Mar 12 '21 at 21:36sudo apt autoremove
worked ok and removed those files. It's kind of basic and maybe I should have done some research, but If you'd care to write an answer with some details, I'll accept it. – user3169 Mar 15 '21 at 05:46