Sometimes GUI environments don't delete files when you delete them, instead it moves them someplace else, making it far harder to find the files to remove.
I suggest looking through ls -la /boot/ output to look for potentially hidden files. If /boot isn't on its own filesystem you may need to look elsewhere for a way to free up some space. It might be best to head to IRC for help so you can get some interactive advice. Thanks ** Information type changed from Private Security to Public -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1349172 Title: "/boot full" error, even after emptying. Encrypted hdd. To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/update-manager/+bug/1349172/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs