[m-dev.] ceres is running out of disc space

[Ralph Becket]

While I was away ceres ran out of disc space, which made life difficult.
Running `du -sk /home/ceres/*' it looks like some people may have a fair
bit of cruft lying around:

	5,884,164  fjh
	3,679,736  zs
	1,969,032  rafe
	1,936,384  dmo
	1,875,144  stayl
	1,872,864  trd
	1,447,524  maclarty
	1,166,032  test_mercury_ceres
	  731,340  public
	  584,904  petdr
	  470,732  dougl
	  359,860  lljy
	  345,080  mjwybrow
	  171,272  juliensf
	   27,200  julianpg
	    2,108  rejj
	       24  nancy
	       12  pmoulder
	       12  ayang
		8  ndw
		4  paulai

-- Ralph
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------