[Bug 1360556] [NEW] Boot partition runs out of space, requires manual uninstallation of old kernels

[Thue Janus Kristensen]

Public bug reported:

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.

** Affects: debian-installer (Ubuntu)
     Importance: Undecided
         Status: New


** Tags: amd64 apport-bug trusty

-- 
You received this bug notification because you are a member of Ubuntu
Foundations Bugs, which is subscribed to debian-installer in Ubuntu.
https://bugs.launchpad.net/bugs/1360556

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

Status in “debian-installer” package in Ubuntu:
  New

Bug description:
  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.

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/debian-installer/+bug/1360556/+subscriptions