Re: partition memory

-user@lists.debian.org debian-user@lists.debian.org Date: Monday, July 27, 1998 10:43 AM Subject: partition memory Hello, I would like to know what is the shell command to know what is the available, used and free memory on the current partition ? Thanks, yanick. -- Unsubscribe? mail -s

partition memory

Hello, I would like to know what is the shell command to know what is the available, used and free memory on the current partition ? Thanks, yanick. -- Unsubscribe? mail -s unsubscribe [EMAIL PROTECTED] /dev/null

Re: partition memory

I think you mean disk space not memory, but the format or df commands could possibly help you. Yanick MICHOU wrote: Hello, I would like to know what is the shell command to know what is the available, used and free memory on the current partition ? Thanks, yanick. -- Unsubscribe?

Re: partition memory

Yanick MICHOU [EMAIL PROTECTED] writes: Hello, I would like to know what is the shell command to know what is the available, used and free memory on the current partition ? You mean the available used and free disk space? The command is df - I believe it stands for something like disk free.