ICONOS ESCRITORIO: gnome-tweak-tool Posted on 2016-06-06 por paco La herramienta gnome-tweak-tool permite añadir iconos en el escritorio y reiniciar el servidor gráfico con ctrl+may+backspace Instalación:sudo sudo apt-get install gnome-tweak-tool Arrancar desde la terminal con:gnome-tweak-tool