The same dilemma occurred again ... in March 2018 ... on another computer.
This time, things were so tightly filled up that Icedove wouldn't open,
Software Updater balked, dpkg --configure -a returned a "no space left on
device" error, and the console even crashed when I tried ls on /dev/src.
Then it dawned on me to add |more to my directory listing request: ls |more
which at least let me get the names of the files that I needed to remove from
/dev/src:
sudo rm -r linux-headers-3.13.0.10* then
sudo rm -r linux-headers-3.13.0.11*
sudo rm -r linux-headers-3.13.0.12*
sudo rm -r linux-headers-3.13.0.9* and on, down to
sudo rm -r linux-headers-3.13.0.3*
at which point only the needed few files were left in /dev/src
Bear in mind that the asterisk (*) applies to everything at the
location of the * as well to as the characters beyond that position
Then I ran dpkg --configure -a which did its thing happily,
followed by Software Updater, sudo apt-get update, etc. in the console,
and retrieving much mail into Icedove, now working just fine.
George Langford
