Re: partition memory

1998-07-27 Thread Geoff Brimhall
<[EMAIL PROTECTED]> To: 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?

Re: partition memory

1998-07-27 Thread Daniel Martin at cush
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 f

Re: partition memory

1998-07-27 Thread Joel Keating
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. > > -- > Unsub

partition memory

1998-07-27 Thread Yanick MICHOU
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