Onde encontro o histórico do prompt de comando do shell do gnome? Quero dizer o que normalmente é iniciado com Alt + F2. Estou executando o GNOME Shell v3.10.4.
Ou alternativamente: como posso deletar?
Este comando serve:
gsettings reset org.gnome.shell command-history
Tags gnome