On Sunday 30 December 2007 02:50:36 am Stan Goodman wrote: > MANY thanks for this. I had no feel whatever (as you saw) for the future > needs of partition sizes, and my numbers were just a guess -- but not a bad > one, apparently, judging from yours. I could enlarge /home as you have > done.
Be aware that size of /home depends on what for computer is used. I don't have much of multimedia files, but I do have virtual drives (for virtual machines in VirtualBox and QEMU) that take few GB each (currently 8) so my /home is still too small, and right now I'm using extra 40 GB partition that was initially meant to be archive. So satisfying total for my use case would be some 60 to 70 GB. > What is the logic of the separate /dev partition? It is not separate. It is just udev subsystem entry in /etc/mtab. You can run: cat /etc/mtab to see that and few more. Here is output of mine /etc/mtab: /dev/sda6 / reiserfs rw,acl,user_xattr 0 0 proc /proc proc rw 0 0 sysfs /sys sysfs rw 0 0 debugfs /sys/kernel/debug debugfs rw 0 0 udev /dev tmpfs rw 0 0 devpts /dev/pts devpts rw,mode=0620,gid=5 0 0 /dev/sda7 /home ext3 rw 0 0 securityfs /sys/kernel/security securityfs rw 0 0 I have no idea why command 'df' picked udev. Maybe it uses some portion of /dev directory, so it really exists on hard disk, while other mounts without slash in front of them, like proc, sysfs, debugfs, securityfs exist only in RAM. To answer this without preceeding 'maybe' we would need some kernel developer to appear in this thread :-) -- Regards, Rajko -- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
