[10:02] <gordonjcp> morning
[10:02] <gordonjcp> in Ubuntu 17.10, how do you change the size of the dock on the left side?
[13:51] <m0j0dj0dj0> Hi how can i auto hide the dock ? seems autohide set to true doesn't work
[14:03] <genii> Did you logoff/logon cycle since then yet?
[14:16] <m0j0dj0dj0> yes i did 
[14:17] <m0j0dj0dj0> all the options i tested works like set the dock transparent, change the side etc but not this one
[14:18] <ducasse> maybe it's just not implemented correctly yet
[17:21] <gixxer1k> hey all 
[17:21] <gixxer1k> the openjdk9 package seems to be broken (today's update)
[17:22] <gixxer1k> http://paste.ubuntu.com/25390671/
[20:29] <nacc> gixxer1k: thanks, i think it's now known, hopefully will get fixed
[20:33] <nacc> gixxer1k: looks like -4 should fix it (which is in -proposed currently)
[20:50] <gixxer1k> glad to be of help, thx for letting me know
[20:50] <nacc> gixxer1k: yw
[21:02] <isantop> I'm having a weird problem on artful. I have menubars in both totem and the new 3.25 settings app
[21:02] <isantop> Anyone know how to hide these?