From mboxrd@z Thu Jan 1 00:00:00 1970 From: Andrew To: 9fans@cse.psu.edu Subject: Re: [9fans] removing users Message-ID: <20030619190846.GA6946@thefrayedknot.armory.com> References: <20030619184332.GA6659@thefrayedknot.armory.com> <2c627fdb88507cffb446ce6dd914a015@plan9.bell-labs.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <2c627fdb88507cffb446ce6dd914a015@plan9.bell-labs.com> User-Agent: Mutt/1.4.1i Date: Thu, 19 Jun 2003 12:08:46 -0700 Topicbox-Message-UUID: d0d477dc-eacb-11e9-9e20-41e7f4b1d025 On Thu, Jun 19, 2003 at 02:51:12PM -0400, Russ Cox wrote: > > is it okay to remove their files from the active filesystem (since venti > > has them already) or is that unnecessary? > > sure, but it won't free up any disk space. > i know it wont get removed from venti, but will it clear off any space from the fossil drive?