TIP: Click on subject to list as thread! ANSI
echo: rberrypi
to: DENNIS LEE BIEBER
from: ROB MORLEY
date: 2017-09-21 18:08:00
subject: Re: dafny on R-Pi

On Thu, 21 Sep 2017 10:48:55 -0400
Dennis Lee Bieber  wrote:

> On Thu, 21 Sep 2017 04:15:55 -0700 (PDT), jack4747@gmail.com
> declaimed the following:
>
> >To install Debian in a virtual machine it takes 15 minutes max
> >(depending on your internet connection speed).
>
>  It took more like 30-45 minutes for me -- using a three-DVD
> disk set I'd purchased, because my DSL would have taken weeks to
> download that (for the last month I've been lucky to obtain 900kbps
> -- lots of line noise on the phone; I'm hoping for a weather change
> to do something to the distribution box out in the trees)

But how much of that 12.4GB are you actually going to use?  You can
download a 290MB install image, then install what you actually need
with apt-get.
It used to take me all weekend to download a new CD distro on 56k
dial-up, I'd just leave it running until it was done, and burn it on my
2x CD-R drive.  Then computer magazines started putting the occasional
Linux CD on the cover, and later DVDs with sometimes several CD distros
per month.  :-)

--- SoupGate-Win32 v1.05
* Origin: Agency HUB, Dunedin - New Zealand | FidoUsenet Gateway (3:770/3)

SOURCE: echomail via QWK@docsplace.org

Email questions or comments to sysop@ipingthereforeiam.com
All parts of this website painstakingly hand-crafted in the U.S.A.!
IPTIA BBS/MUD/Terminal/Game Server List, © 2025 IPTIA Consulting™.