From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <2c627fdb88507cffb446ce6dd914a015@plan9.bell-labs.com>
To: 9fans@cse.psu.edu
Subject: Re: [9fans] removing users
From: "Russ Cox" <rsc@plan9.bell-labs.com>
In-Reply-To: <20030619184332.GA6659@thefrayedknot.armory.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Date: Thu, 19 Jun 2003 14:51:12 -0400
Topicbox-Message-UUID: d0b919ba-eacb-11e9-9e20-41e7f4b1d025

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