Fixed: X won’t start after update to Ubuntu 12.04.3

I’m running a dual-screen set-up and need the proprietary drivers because the standard ones won’t drive the second screen at full resolution. After updating to 12.0.4.3, xserver/gdm/lightdm won’t load at all. So only console login is left. It appears they’ve messed up your kernel module configuration by installing both an upstream Nvidia driver as well […]

Disable the powerbutton on Ubuntu 12.04

In Debian or Ubuntu minimal disabling the power button is quite easy. Just remove the contents of /etc/acpi/powerbtn.sh. That doesn’t work in Ubuntu with Gnome/Unity. The shutdown procedure is quite complex; acpid, gnome-power-manager, polkit all play some kind of role in it. After a lot of reading I stumbled upon a post in the ubuntu […]

Remove a python dependency by hand

If you are on a system without pip or easyinstall, and you can’t use the OS package system: You need to remove all installed files manually, and also undo any other stuff that the installation did manually. Changes are that you don’t know the list of all files it installed, you can reinstall it with […]

Why json is better for easy data exchange

JSON: The Fat-Free Alternative to XML Extensible Markup Language (XML) is a text format derived from Standard Generalized Markup Language (SGML). Compared to SGML, XML is simple. HyperText Markup Language (HTML), by comparison, is even simpler. Even so, a good reference book on HTML is an inch thick. This is because the formatting and structuring […]