Sean 'Shaleh' Perry wrote:
I have /usr, /var, /home etc mounted on different partitions. One obvious way would be to shrink other partitions and grow /, but I don't want to do that,at least not yet before taking a look at other (better) options.Therefore, I am just wondering whether there is any suggestion as to doing it *elegantly*.if /usr, var and home are on separate partitions, why is a 100mb / not sufficient?
That's what I really want to find out :-). A couple of years ago, even a 50 Mb / partition seemed OK. IIRC, with debian 1.3 it was just a 3 or 4 floppy install.
From what I gather, when you install a new kernel image using apt-get, the old one is kept (which is a sensible decision) and present-day kernels (plus the modules etc) take up quite a lot of space after unpacking and I have to install the pcmcia modules at the same time as well. I'm not my linux box now so I cannot provide more factual information at the current moment.
Good day, ST --