jimb images IRIX sources
space.gz |
"space" is a simple graphical tool to keep control of free and used space of the mounted filesystems. Harddisk space is updated every minute. Unfortunately when downloading the ".gz" suffix gets lost. After downloading use the following commands in a shell to make space available: cd $HOME mv space space.gz gunzip space.gz chmod 111 space ./space I would love to hear from you if you find it useful. |
s1422013@rzbt.fh-hamburg.de
jluetkens@geocities.com
more to come soon ...