Boot partition runs out of space, requires manual uninstallation of old kernels

[Thue Janus Kristensen]

I did a full-disk installation (using graphical installer and automatic partitioning) with full-disk encryption on a 200GB disk, and Ubuntu chose to only allocate 141MB to the /boot partition .

So now yesterday when the system updater ran, I got an error that I was out of space on the /boot partition. No option to automatically uninstall old kernels, or hint about how to do it manually.

Either 1) the installer needs to allocate more space for /boot , 2) the updater needs to offer to automatically remove old kernels, or 3) old kernels need to be uninstalled without asking. Probably all three. The current state of requiring manual non-intuitive trivial low-level maintenance is not "Linux for human beings".

ProblemType: Bug
DistroRelease: Ubuntu 14.04
Package: debian-installer (not installed)
ProcVersionSignature: Ubuntu 3.13.0-34.60-generic 3.13.11.4
Uname: Linux 3.13.0-34-generic x86_64
ApportVersion: 2.14.1-0ubuntu3.3
Architecture: amd64
CurrentDesktop: Unity
Date: Sat Aug 23 10:08:18 2014
InstallationDate: Installed on 2014-04-18 (126 days ago)
InstallationMedia: It
MachineType: Gigabyte Technology Co., Ltd. EP35-DS3R
MemoryUsage:
 total used free shared buffers cached
 Mem: 8175704 1988124 6187580 45340 44376 556760
 -/+ buffers/cache: 1386988 6788716
 Swap: 8388604 0 8388604
ProcKernelCmdLine: BOOT_IMAGE=/vmlinuz-3.13.0-34-generic root=/dev/mapper/it--vg-root ro quiet splash vt.handoff=7
SourcePackage: debian-installer
UpgradeStatus: No upgrade log present (probably fresh install)
dmi.bios.date: 06/19/2009
dmi.bios.vendor: Award Software International, Inc.
dmi.bios.version: F4
dmi.board.name: EP35-DS3R
dmi.board.vendor: Gigabyte Technology Co., Ltd.
dmi.board.version: x.x
dmi.chassis.type: 3
dmi.chassis.vendor: Gigabyte Technology Co., Ltd.
dmi.modalias: dmi:bvnAwardSoftwareInternational,Inc.:bvrF4:bd06/19/2009:svnGigabyteTechnologyCo.,Ltd.:pnEP35-DS3R:pvr:rvnGigabyteTechnologyCo.,Ltd.:rnEP35-DS3R:rvrx.x:cvnGigabyteTechnologyCo.,Ltd.:ct3:cvr:
dmi.product.name: EP35-DS3R
dmi.sys.vendor: Gigabyte Technology Co., Ltd.

[Jarno Suni (jarnos)]

There are separate bug reports for different solutions:

1) Bug #1652469
2) Bug #1460396
3) Bug #1675079

[spike speigel (frail-knight)]

Not sure if using dkms, but if so may be related to bug 1515513

[Randall Whitman (ubuntu-whizman)]

Cross-reference, among others:
https://bugs.launchpad.net/ubuntu/+source/ubuntu-release-upgrader/+bug/1988299
https://bugs.launchpad.net/ubuntu/+source/update-manager/+bug/1355026
https://bugs.launchpad.net/ubuntu/+source/initramfs-tools/+bug/1895416