=== geheimni1` is now known as geheimnis` === Elimin8r is now known as Elimin8er === oerheks_ is now known as oerheks === Nach0z_ is now known as Nach0z === tsimonq2alt is now known as tsimonq2 === viv`d is now known as vivid === floccula1t is now known as flocculant === flocculant is now known as Guest13792 === Guest13792 is now known as flocculant === ochosi_ is now known as ochosi === DJones_ is now known as DJones === pesari_ is now known as pesari === maxb_ is now known as maxb [19:38] after having run dist-upgrade today, is there a way to restore the unity option to the display manager? I prefer unity to gnome shell [20:01] ngaio: Install the new, renamed 'unity-session' package.