我尝试这样做，do-release-upgrade
但后来我得到：
可用磁盘空间不足
升级已中止。升级需要磁盘“/boot”上总共 25.7 M 可用空间。请在“/boot”上释放至少 25.7 M 的额外磁盘空间。清空垃圾并使用“sudo apt-get clean”删除以前安装的临时包。
的输出df：
237251272 214797108 10402504 96% /
udev 488120 4 488116 1% /dev
tmpfs 198676 668 198008 1% /run
none 5120 0 5120 0% /run/lock
none 496684 0 496684 0% /run/shm
/dev/sda1 233191 225867 0 100% /boot
为什么启动时没有剩余空间？这是输出ls -as /boot：
total 221839
4 .
4 ..
645 abi-2.6.32-34-generic-pae
698 abi-2.6.35-30-generic-pae
727 abi-2.6.38-12-generic-pae
727 abi-3.0.0-12-generic-pae
727 abi-3.0.0-13-generic-pae
727 abi-3.0.0-14-generic-pae
727 abi-3.0.0-15-generic-pae
727 abi-3.0.0-16-generic-pae
727 abi-3.0.0-17-generic-pae …我已经阅读了我能找到的每一条线索——即使是那些说问题已经在别处得到回答的线索，但没有一个解决我遇到的具体问题。更新管理器运行并产生与未满足的依赖项相关的错误，并建议使用apt-get install -f失败并显示以下消息：
Unpacking linux-headers-3.5.0-36 (from .../linux-headers-3.5.0-36_3.5.0-36.57~precise1_all.deb) ...
dpkg: error processing /var/cache/apt/archives/linux-headers-3.5.0-36_3.5.0-36.57~precise1_all.deb (--unpack):
unable to create `/usr/src/linux-headers-3.5.0-36/arch/arm/mach-iop32x/include/mach/glantank.h.dpkg-new' (while processing `./usr/src/linux-headers-3.5.0-36/arch/arm/mach-iop32x/include/mach/glantank.h'): No space left on device
我怀疑最后 5 个单词No space left on device很重要，但 df 和 du 都显示足够的空间。所以我想知道，什么设备需要更多空间？
输出自 df -h
Filesystem
Size Used Avail Use%
Mounted on /dev/sda1 5.5G 4.4G 786M 86%
/ udev 996M 4.0K 996M 1%
/dev tmpfs 402M 880K 401M 1%
/run none 5.0M 0 5.0M 0% /run/lock none 1004M 156K 1004M 1%
/run/shm …