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

[slasha3]

Installing a new kernel doesn't replace the old one, in case there is an  
issue with the new kernel.

Read this for Ubuntu (same for Trisquel):
http://www.foogazi.com/2008/07/02/quickzi-how-to-remove-older-kernels-from-ubuntu/