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 ...
Home
1