<div dir="ltr"><div><div><div><div><br></div>Dear all,<br><br></div>Even if most of you are using ACE, you might also be interested in running LKB in Mac. Lluís has decised a way to do so, see below.<br><br></div>Best,<br><br></div>Montse.-<br><div><div><div><div><br><br><div class="gmail_quote">---------- Forwarded message ----------<br>From: <b class="gmail_sendername">Lluís Padró</b> <span dir="ltr">&lt;<a href="mailto:padro@cs.upc.edu">padro@cs.upc.edu</a>&gt;</span><br>Date: Mon, Jun 27, 2016 at 5:57 PM<br>Subject: Easy way to run logon on Mac<br>To: Montserrat Marimon &lt;<a href="mailto:montserrat.marimon@gmail.com">montserrat.marimon@gmail.com</a>&gt;<br><br><br>Hi,<br>
<br>
  I devised an easy and fast way to run logon on Mac OSX<br></div><div class="gmail_quote">  (in fact there is no reason it shouldn&#39;t work on windows too)<br></div><div class="gmail_quote">
<br>
  It is based on docker (<a href="http://www.docker.com" rel="noreferrer" target="_blank">www.docker.com</a>) --a very light and fast virtualization engine.<br>
  Docker VMs are minimal and headless, but the graphical display can be redirected<br>
  to X11 server in the Mac host, getting the windows in the native GUI (and saving a<br>
  lot of resources in the VM)<br>
<br>
  I created a linux image with all logon requirements (which are basically emacs, plus<br>
  some X11 and rendering libraries)  and a script that will take care of the needed<br>
  display redirections and volume mappings (the VM expects logon tree to be checked<br>
  out in the host)<br>
<br>
  You&#39;ll find the image, the dockerfile to re-create it (not needed, but someone may<br>
  want to play with it), the script to launch the VM, and a README explaining it all<br>
  with details at:<br>
       <a href="http://www.cs.upc.edu/~padro/docker-logon.tgz" rel="noreferrer" target="_blank">http://www.cs.upc.edu/~padro/docker-logon.tgz</a><br>
<br>
   Let me know if you encounter any problems<br>
<br>
            Best<br>
<br>
                Lluis<br>
<br>
</div><br></div></div></div></div></div>