Hello,

This is basically a generic questions - I've had it happen to me on every machine I've installed linux on to.

Sometimes, when I'm working on a school project (such as a flash presentation or something), I have to store the files on my harddrive so I can later work on them. Ever so often, the file reaches about 100 megs or more.

I've recently deleted all the files off of my /home partition, but when I use:

or (a commandline program for showing a graph in terminal view of the size of a partition)

I get inaccurate results. The free space on my /home was around 5 gigs when I put the files on there, but when I deleted them -- even after rebooting, discus (same with df -h) it showed that I had 3.23 gigs left

Is there a way to fix this? I should have approximately one more gig free...

Thanks!

Did you empty the Trash can?

------------------
Steve Stites

To verify that you /home partition is the size you think it is, could you do:
fdisk -l /dev/...

where "/dev/..." is a device which holds your home partition.

I don't believe I need to empty the trash can... err, well, don't think I do. I use ion3 instead of the gnome desktop manager, and ion3 appears to delete all files once they're deleted instead of sending them to the trash. Also, usually, I delete stuff using the terminal:
rm and rm -R for directories, I always thought that rm completely deleted something without leaving stuff in the trash, if I'm wrong please correct me.

I use ubuntu 7.04 (the 7.10 disc doesn't work for me, and I don't feel it's necessary to upgrade to 7.10 just because it would make my '/' partition be about 80 percent full). I don't think it's a trouble with the distro though, my server is running kubuntu 7.10 and it experiences the same problems.

My /home is /dev/sda3. It is the size it should be, around 18.5 gigs, it should have an amount reported that should say it has approximately +- 4 Gbs free. According to discus:
err... just by looking at that result, it doesn't give the same result as the one provided by fdisk. It seems that my trouble is that the size of my /home is reported as smaller than it actually is, how could I make my computer show that the size is actually 18.5 gigs (like the partition states), instead of 17.42.

Oh, by df -h...
It's not just discus that shows an incorrect value. At a fresh install on this computer (about 2 months ago), it both discus and df -h recognized that the size of the partition was about 18.2 GBs (due to formatting). Why did the reported size of the partition shrink, and how can I fix it?

Thanks for the previous responses.

I apologize for the jumbled messages in the quotes, they were in neat columns when I pasted them here.

I found another page on linuxquestions that is part of my problem... http://www.linuxquestions.org/questi...r-bash-176784/

I can't really help-> but I suggest you to experiment. For example create a file of size 1G in your home with command:

dd if=/dev/zero of=big_file bs=1024 count=1048576

Run your commands while file is there, then remove the file and see what you have after. Good luck.

This hapens with "QUOTE" tags. If you'd like your columns to match up properly, click Go Advanced and use the "CODE" tags (it's a [#] symbol on the formatting bar)