Reinicia cinnamon en Linux Mint GNU/Linux

Cinnamon es el entorno de escitorio nacido como fork de Gnome que está por defecto en Linux Mint. En ocasiones (muy pocas), puede ser que cinnamon se nos quede colgado. No hay necesidad de reinicar el sistema operativo para poder reiniciar el entorno de escritorio. He...