Code:
sudo apt-get purge linux-headers-3.13.0-{39,40,43,44,45,46,48,49,51,52}{,-generic} linux-image{,-extra}-{39,40,43,44,45,46,48,49,51,52}-generic
sudo apt-get purge linux-headers-3.13.0-{53,54,55,57,58,61,62,63,65,66}{,-generic} linux-image{,-extra}-3.13.0-{53,54,55,57,58,61,62,63,65,66}-generic
sudo apt-get purge linux-headers-3.13.0-{67,68,70,71,74,76,77,79,83,85}{,-generic} linux-image{,-extra}-3.13.0-{67,68,70,71,74,76,77,79,83,85}-generic
sudo apt-get purge linux-headers-3.13.0-{86,87,88,92,93,95,96,98,100,101}{,-generic} linux-image{,-extra}-3.13.0-{86,87,88,92,93,95,96,98,100,101}-generic
sudo apt-get purge linux-headers-3.13.0-{103,105,106,107,108,110,112,113,115,116}{,-generic} linux-image{,-extra}-3.13.0-{103,105,106,107,108,110,112,113,115,116}-generic
sudo apt-get purge linux-headers-3.13.0-{117,119,121,123,125,128,129,132,133,135}{,-generic} linux-image{,-extra}-3.13.0-{117,119,121,123,125,128,129,132,133,135}-generic
sudo apt-get purge linux-headers-3.13.0-{137,139,141,142}{,-generic} linux-image{,-extra}-3.13.0-{137,139,141,142}-generic
Sometimes brute force is more effective than being clever. That should cut your disk space usage in half.
Bookmarks