[05:59] <nocco> For what reason do my pc with ubuntu 17.10, now have the cinnamon menubar?
[08:01] <lotuspsychje> !info gnome-shell-extension-ubuntu-dock artful
[08:01] <ubottu> gnome-shell-extension-ubuntu-dock (source: gnome-shell-extension-ubuntu-dock): Ubuntu Dock for GNOME Shell. In component universe, is optional. Version 0.1 (artful), package size 84 kB, installed size 649 kB
[08:03] <nocco> lotuspsychje: Sorry I do not follow :/
[08:04] <lotuspsychje> nocco: this the new dash to dock fork on ubuntu 17.10
[08:05] <lotuspsychje> nocco: thet still working on it
[08:05] <nocco> alright
[08:05] <nocco> but does that have anything to do with that my gnome do not launch or something like that?
[08:06] <nocco> it seems that I get the cinnamon menu or something similar.. :/
[08:06] <lotuspsychje> nocco: no, it hasnt got to do with your issue
[08:07] <nocco> ok, sorry
[08:07] <lotuspsychje> nocco: repeat your issue here once in a while or consider a new !bug
[08:08] <nocco> okey, thanks! :)
[10:33] <nocco> I think that my ubuntu 17.10 is not loading gnome and rather loading cinnamon, looks very similar to that. That happend after I updated it yesterday. I do not user ubuntu or linux regularly so could you point in the right direction. In which logs should I lock for this problem? What could have happen? Why cinnamon? Thanks!
[10:34] <nocco> damn typo. user=use lock=look
=== JanC is now known as Guest43740
=== JanC_ is now known as JanC