How To Install MDM 1.2.5 From Linux Mint 15 In Ubuntu

MDM is the default Linux Mint display manager, forked from GDM 2.20, which means it supports the old GDM themes. Linux Mint 15 will ship with MDM 1.2.5 which has received support for HTML greeters (supports HTML5, CSS, Javascript and WebGL) and if you want to install it in Ubuntu, you can use a PPA [...]