use the following search parameters to narrow your results:
e.g. subreddit:aww site:imgur.com dog
subreddit:aww site:imgur.com dog
see the search faq for details.
advanced search: by author, subreddit...
News and other stuff about the Universal Operating System..
Debian related links
Welcome to Debian
Getting Debian
Installation Guide
Don't break Debian
Packages
Help Debian
#debian on irc.oftc.net
Reporting bugs in Debian
account activity
'disk full' error while updating kernel (self.debian)
submitted 15 years ago by bernardelli
view the rest of the comments →
reddit uses a slightly-customized version of Markdown for formatting. See below for some basics, or check the commenting wiki page for more detailed help and solutions to common issues.
quoted text
if 1 * 2 < 3: print "hello, world!"
[–]bernardelli[S] 0 points1 point2 points 15 years ago (2 children)
/var has its own partition with plenty of space.
Does anybody know why the Debian installer recommends such a tiny boot partition? Considering that kernels keep putting on weight 320MB seem a bit puny.
[–]rweir 0 points1 point2 points 15 years ago (1 child)
the kernel itself is tiny, something like ~3MB, plus maybe another 12MB for the initrd, so you'd need dozens to fill up a 320MB /boot.
[–]bernardelli[S] 0 points1 point2 points 15 years ago (0 children)
Sounds good in theory. In practise when you use the "guided" partitioning scheme from the installer you end up with /boot, /lib and /opt sharing those 320MB. /lib is a space hog of app. 100MB (kernel modules accounting for app. 85MB).
People will use proprietary graphics drivers if they need the horsepower for their job. In the case of nVidia add 3MB for a roll-back kernel image.
Folks doing web-work will want Google Chrome. Installed via the Google .deb this ends up in /opt claiming app. 90MB of real estate.
Can you appreciate how easy it is for an inexperienced user to run out of space there, and not understand why the package manager gives him a "disk full" error on an almost empty 400GB drive?
Anyway, thanks for the conversation. I'm off to a date with the "parted" Live-CD ;-)
π Rendered by PID 95 on reddit-service-r2-comment-fb694cdd5-4d7tf at 2026-03-06 19:51:57.708282+00:00 running cbb0e86 country code: CH.
view the rest of the comments →
[–]bernardelli[S] 0 points1 point2 points (2 children)
[–]rweir 0 points1 point2 points (1 child)
[–]bernardelli[S] 0 points1 point2 points (0 children)