The following commit has been merged in the master branch:
commit f841d5063adc6676c1452622726eae2cbb6b6096
Author: Lucas Nussbaum <>
Date:   Sun Jul 7 00:23:57 2013 +0200

    Document issues on Ubuntu.

diff --git a/debian/README.Debian b/debian/README.Debian
index 6dba9a6..c233630 100644
--- a/debian/README.Debian
+++ b/debian/README.Debian
@@ -20,3 +20,15 @@ To install the i386 libc on an amd64 system, as root, run:
   dpkg --add-architecture i386
   apt-get update
   apt-get install libc6:i386
+Running Marionnet on Ubuntu
+1) You need to: export UBUNTU_MENUPROXY=0
+   before start Marionnet, or the icons on the left won't show up.
+[FIXME: this should be turned into a patch]
+2) lightdm starts X with '-nolisten tcp'. You need to allow TCP connections
+   to the X server. Edit /etc/lightdm/lightdm.conf and add
+       xserver-allow-tcp=true
+   in the [SeatDefaults] section.
+[FIXME: the init script should check for that and issue a warning]

marionnet packaging

Pkg-ocaml-maint-commits mailing list

Reply via email to