From mboxrd@z Thu Jan  1 00:00:00 1970
MIME-Version: 1.0
In-Reply-To: <CAGNd-2OG=8DgYfK6qp+3x8j5PDue4NroOt8O=apZ46sgw6Mv4A@mail.gmail.com>
References: <CAGNd-2Pn0P1q46Qo01-etBadm+iX9vzhOpthNNXkN1u26TgfOQ@mail.gmail.com>
	<CAGNd-2OG=8DgYfK6qp+3x8j5PDue4NroOt8O=apZ46sgw6Mv4A@mail.gmail.com>
From: fgergo@gmail.com
Date: Thu, 12 Oct 2017 12:26:46 +0200
Message-ID: <CA+ctqropfQmKApsEopG_=8BEd+_eBuKgtL8ayCw8PBTVO9FO1Q@mail.gmail.com>
To: Fans of the OS Plan 9 from Bell Labs <9fans@9fans.net>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Subject: Re: [9fans] Change of plan9 partition size
Topicbox-Message-UUID: c2b3bbb4-ead9-11e9-9d60-3106f5b1d025

On Thu, Oct 12, 2017 at 11:33 AM, Pavel Klinkovsk=C3=BD
<pavel.klinkovsky@gmail.com> wrote:
>> 9pi has about 1,7GB plan9 partition size.
>> On my 8GB SD card the rest is unused...
>
>
> Maybe it would be wise to use Venti on that unsed space... ;)
>
> Pavel
>

If you don't have a venti server somewhere near your pi yet, then
definitely yes.