disk space for root vs users

[Joel M. Miller]

Has anyone noticed that available disk space is about 5,000K less
when logged in as a normal user (eg Guest) than when logged in as root?
Recall that I have set up my 80MB disk with "/" and "/users" on the
same partition.  That is, when I log in as root, "df /dev/c5d0s0"
says that I have about 7,000K available, while as jmm or Guest, 2,000K.
I thought that the only difference between root and normal user logins
was permissions.

(A bit of self-defeating advice: don't even *think* of running A/UX off
an 80 MB disk!  Self-defeating, because as soon as I scrape up money
for a big disk, my 80 will be for sale!)
-- 
Joel M Miller                    Internet: jmm at skivs.ski.org
Smith-Kettlewell Institute       Usenet:   fernwood!skivs!jmm
2232 Webster St                  Bitnet:   jmm%skivs.ski.org at fernwood.mpk.ca.us
San Francisco, CA 94115          Voice:    415/561-1703     Fax: 415/561-1610