Re: [Trisquel-users] How to install gnome-shell

[aliasbody]

OH ! So that's the package missing xD Thank you :D Just one more question  
that doesn't have to do with the title (if there is any problem I create a  
new topic).

Just installing the 3.5-libre kernel as sudo apt-get install linux-libre64  
doesn't replace the original one (at least it doesn't appear as for remove,  
and virtualbox for example can't compile the vboxdrv module because he is  
searching for the old kernel)... so... is there a need to manually remove the  
old kernel ?.. It's weird that bugs like this still exist... in my opinion  
those are bugs.