[Bug 1740576] Re: Files ocamlbuildlib.cmxa and unix.cmxa make inconsistent assumptions over implementation Unix

2018-03-16 Thread Dominique Unruh
This is independent of paparazzi. Just typing 'ocamlbuild' in the shell produces the error. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1740576 Title: Files ocamlbuildlib.cmxa and unix.cmxa make

[Bug 1740576] Re: Files ocamlbuildlib.cmxa and unix.cmxa make inconsistent assumptions over implementation Unix

2018-03-16 Thread Dominique Unruh
The following workaround works for me: sudo apt remove ocamlbuild sudo opam install ocamlbuild This avoids using the broken ocamlbuild from the repository but installs a separate one. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu.

[Bug 518950] Re: USA keyboard layout installed after each reboot

2010-05-09 Thread Dominique Unruh
I found a solution at http://ubuntuforums.org/showthread.php?t=1414858 It seems that Ubuntu lists both the configured keyboard, as well as the keyboard that was chosen in gdm. How to solve: Upon logon, in gdm (Login Screen), select the keyboard layout you wish to use and login. If you use

[Bug 387035] Re: Network Manager should retry DHCP

2009-09-24 Thread Dominique Unruh
I changed the state to Confirmed by accident. I have no idea how to change it back. Sorry. ** Changed in: network-manager (Ubuntu) Status: Triaged = Confirmed -- Network Manager should retry DHCP https://bugs.launchpad.net/bugs/387035 You received this bug notification because you are a