From mboxrd@z Thu Jan  1 00:00:00 1970
MIME-Version: 1.0
In-Reply-To: <CAOr72miC+-2+K1OXco4Ykz5BDnMJjfY9NPaaMx=yTYAwns3ONg@mail.gmail.com>
References: <CAOr72miC+-2+K1OXco4Ykz5BDnMJjfY9NPaaMx=yTYAwns3ONg@mail.gmail.com>
Date: Thu, 30 May 2013 14:47:02 -0600
Message-ID: <CAOr72mhyvPKYszYC5znoR1VwAYa5nSKm2gRghCdp05ZbGKcEdQ@mail.gmail.com>
From: Jeremy Jackins <jeremyjackins@gmail.com>
To: Fans of the OS Plan 9 from Bell Labs <9fans@9fans.net>
Content-Type: text/plain; charset=UTF-8
Subject: Re: [9fans] Fossil disk usage over 100%?
Topicbox-Message-UUID: 5de67eca-ead8-11e9-9d60-3106f5b1d025

Sorry, I think I understand what this number represents now. I thought
it was a percentage of used disk space in my fossil partition and
completely separate from venti.

On Thu, May 30, 2013 at 1:45 PM, Jeremy Jackins <jeremyjackins@gmail.com> wrote:
> Hi 9fans,
>
> I recently set up my fossil to be backed by venti, for the first time.
> I think it's archiving correctly. As an experiment, I just did a mk
> install in /sys/src/cmd, which I know to require more disk space that
> my fossil alone can handle.
>
> Can someone help me understand this?
>
> main: df
> main: 557,539,328 used + 35,184,325,517,312 free = 510,967,808 (109.1% used)
> main:
>
> Thanks.