=== mgedmin_ is now known as mgedmin === Spydar007 is now known as Guest92796 [13:24] jbicha: found out the related bug https://bugs.launchpad.net/ubuntu/+source/gnome-screensaver/+bug/1685141 [13:24] Ubuntu bug 1685141 in gnome-screensaver (Ubuntu) "System freezes after locking screen" [Undecided,Confirmed] [16:15] Greetings! [16:18] I'm using nvidia-current on UG_17.04, and cannot get HDMI/DP++ audio to function [16:19] pavucontrol says the card is unplugged... but it isn't :) [17:33] greetings [17:34] I upgraded from Ubuntu 16.10->17.04 and installed gnome-shell. I was running Cinnamon before but in both DE's the text and mouse look to be 2x size. I have a 2k monitor. How can I fix the scaling? [17:35] I think you can set scaling in gnome tweak tool [17:36] dsynapse: ^ [17:36] ok...i'm at work right now but i'll check when I get home [17:36] GNOME looks great...except for that ;) [17:36] dsynapse, is gnome working fast? or is there any noticeable lag [17:38] Hrm.. I didn't pay attention as I was just trying to get the upgrade done and then saw the text issue... I want to say it didn't feel slow? [17:38] why? [17:38] it was really slow for me, i had to switch to awesome. [17:38] ah [17:39] i've got cinnamon as my backup...in the past gnome shell has had some odd lag issues w/the logout screen [17:39] but this seemed to be better [17:39] are you on wayland or xorg [17:40] xorg === felipe_ is now known as wiyzeck === wiyzeck is now known as woyzeck