¿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?
Este comando hará:
gsettings reset org.gnome.shell command-history