Thanks for taking the time to report this bug and helping to make Ubuntu better. We appreciate the difficulties you are facing, but this appears to be a "regular" (non-security) bug. I have unmarked it as a security issue since this bug does not show evidence of allowing attackers to cross privilege boundaries nor directly cause loss of data/privacy. Please feel free to report any other bugs you may find.
** 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/1094317 Title: package linux-headers-3.2.0-35-generic (not installed) failed to install/upgrade: unable to create `/usr/src/linux- headers-3.2.0-35-generic/include/config/sound.h.dpkg-new' (while processing `./usr/src/linux- headers-3.2.0-35-generic/include/config/sound.h'): No space left on device To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1094317/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
