Re: [MirageOS-devel] Offline use of mirage?

[Richard Mortier <Richard.Mortier@xxxxxxxxxxxxxxxx>]

On 14 Feb 2014, at 15:55, Amir Chaudhry <amc79@xxxxxxxxx> wrote:

> I (perhaps foolishly) thought I could play with mirage-skeleton on the train 
> today and made sure to update repos and packages.  Just now had a facepalm 
> moment when I saw 'Installing OPAM packages' in the terminal while trying out 
> the static_website stuff. 

:)

> Is there an easy way I can keep a local copy of all the things I might need? 
> I get the feeling that opam-in-box (and a way to keep it up-to-date)  is what 
> I'm after.

i think there's an issue on github to which one of the responses is to have 
some way to pull a bunch of packages locally. (i hit this problem on the way to 
fosdem.)

> I'm just trying to figure out if I missed an obvious solution so if this 
> isn't possible yet, that's fine. 

fwiw i've also just about got the vagrant runes organised to use virtualbox to 
build a debian wheezy box, install xen, opam, and mirage. which at least makes 
some of the dev setup more repeatable.

(though if anyone can tell me what to do to get current vbox guest additions 
installed on xen on wheezy, i'd be grateful. just getting build failures 
currently.)

-- 
Cheers,

R.




This message and any attachment are intended solely for the addressee and may 
contain confidential information. If you have received this message in error, 
please send it back to me, and immediately delete it.   Please do not use, copy 
or disclose the information contained in this message or in any attachment.  
Any views or opinions expressed by the author of this email do not necessarily 
reflect the views of the University of Nottingham.

This message has been checked for viruses but the contents of an attachment
may still contain software viruses which could damage your computer system, you 
are advised to perform your own checks. Email communications with the 
University of Nottingham may be monitored as permitted by UK legislation.





_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel