VerifiableRobotics / LTLMoPWeb3D

A website for Cornell's Autonomous Systems Lab to essentially have LTLMoP available in 3D and online
https://ltlmop.herokuapp.com/
Other
3 stars 1 forks source link

Minimal Cross Platform Docker Install to get LTLMoP w/ GUI running. #55

Closed agilgur5 closed 8 years ago

agilgur5 commented 8 years ago

After a ton of research (read: probably spent way too much time on this, but really couldn't get this off my mind) and trial and error to try and get a really small minimal environment working in VirtualBox involving finding a tiny Linux distro (mainly tried Damn Small Linux, Tiny Core, and eventually boot2docker which is a branch off Tiny Core) and getting it to be able to do 3 things: 1) Share folders with host 2) Run Docker 3) Share info with X server for GUI environments finally configured "native" Docker on Windows to be able to do it.

Directions can be found here: https://github.com/docker/docker/issues/8710


On Linux:

1) Install Docker 2) xhost + (or something more secure to allow the application to write to X) 3) docker run -e DISPLAY=$DISPLAY -v /tmp/.X11-unix:/tmp/.x11-unix agilgur5/ltlmop:gui

On Windows:

1) Install Docker Toolbox 2) Install and run Xming (https://github.com/docker/docker/issues/8710#issuecomment-135109677) (or any other X utility for Windows... Xming is extremely small though, hard to beat) 3) docker run -e DISPLAY=192.168.99.1:0 agilgur5/ltlmop:gui

On Mac:

Don't have a Mac, try things suggested in above linked issue


Screenie: image


@jimjing it's possible, very possible, doable before, and now, VERY doable Also, not sure about Mac, but on Windows this might become significantly easier as the next update of Windows Server will supposedly have "native" container support