Il giorno giovedì 21 settembre 2017 09:01:57 UTC+2, Emanuel Berg ha scritto:
> druck wrote:
> 
> > Not running X will free up a lot of memory,
> > but if that isn't enough try configuring
> > a couple of GB of swap, and booking
> > a holiday. Cross compiling on a larger linux
> > box would be quicker.
> 
> I have realized that tho Raspbian is similar to
> Debian (a Debian fork) a lot of these more
> uncommon things would be a lot easier on
> a Debian on a stationary computer. However this
> is just a couple of assignment I have left from
> an education finished some 7 years ago, so
> I just want to do them to have nothing
> unfinished. So far I got by with a web tool to
> do dafny, but as it happened I Googled dafny to
> get to that interface, and stumbled across the
> repository and thought boy, it would be ten
> times the more pleasant workflow to have a real
> tool with my everyday editor. So I thought I'd
> try to do it, but if it doesn't work, it's not
> like I'm prepared to set up a whole new system
> just to have it.

To install Debian in a virtual machine it takes 15 minutes max (depending on
your internet connection speed).

Bye Jack

--- SoupGate-Win32 v1.05