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

[Filip Sohajek]

** Package changed: debian-installer (Ubuntu) => update-manager (Ubuntu)

** Changed in: update-manager (Ubuntu)
       Status: New => Confirmed

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

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

Status in “update-manager” package in Ubuntu:
  Confirmed

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/update-manager/+bug/1360556/+subscriptions