Never mind.  I fixed the problem.  It turns out I had to change the order
in which the partitions were defined in /etc/fstab.  It used to be:

[...]
/dev/hda6 /usr/local ext2 rw                    0       2
/dev/hda7 /usr ext2 rw                  0       2
[...]

So it mounted /usr/local before mounting /usr, so I guess when it
accounted for disk space, /usr was added on to /usr/local since /usr/local
defined /usr first.

I switched the lines, and I get this for df now:
Filesystem           1k-blocks      Used Available Use% Mounted on
/dev/hda9               869620     24724    800720   3% /
/dev/hda8              4901924      1364   4651556   0% /home
/dev/hda5               474443     22525    427421   5% /var
/dev/hda7             10072456    320624   9240164   3% /usr
/dev/hda6              7692876        20   7302080   0% /usr/local
/dev/hda2                15554      1308     13443   9% /boot

which is more palatable.  Sorry for jumpin' the gun on the question!  (and
replying to my own post)

FL

Reply via email to