0 ¿Dónde encuentro el historial del símbolo del sistema gnome shell? Me refiero al que normalmente se inicia con Alt + F2. Estoy ejecutando GNOME Shell v3.10.4. O alternativamente: ¿cómo puedo eliminarlo? gnome — Miguel fuente