I had Linux Mint 13 64 bits with Cinnamon for a while. Yesterday I installed also the kernel 3.7 and it worked fine and didn't break anything. However, if I try to choose to login using Cinnamon, it doesn't work and logs in in Gnome 3, with no traces about Cinnamon. If I use the old kernel (3.2.something) that comes by default with Linux Mint 13, Cinnamon works great.
Is this because Cinnamon is not supported by the kernel 3.7? Is there any way of making it work? I tried re-installing it and it didn't work.
what graphic card you have? and what drivers are you using? are you sure that the drivers stack is working with the 3.7 kernel? by gnome3 working with the 3.7 kernel you mean the shell or fallback-mode? can you while in that DE give us the output of
I checked and I had an old set of drivers, so I downloaded the newest ones and tried to install them. It complains about the linux header package missing, but I can see the package in Synaptic installed. So I uninstalled the kernel 3.7 completely and installed it in a different way. Still no luck and the same message :S