said deloptes:
| This is strange that you have those in /boot and no package in the list. | Are you sure that when you execute dpkg -l | grep 4.4.0-124 (or | 3.13.0-147) nothing pops up?
Yes, it is strange and yes, nothing pops up. As noted later, I have some but not all kernal sources going back more than a decade sitting in /usr/src, too. I'm just trying to imagine any conceivable reason I'd want them around. I don't think I have any hardware that's so deprecated that it would ever require resort to those things, nor any applications that recompile themselves and might need them. -- dep
Pictures: http://www.ipernity.com/doc/depscribe/album Column: https://ofb.biz/author/dep/