Hacker News new | ask | show | jobs
by Nick_C 4590 days ago
I use the Windows Menu key (the Windows key to the right of the spacebar) for that. Except I use yeahconsole, which is the same concept without the Gnome dependencies.

Such a handy feature, isn't it. I would be lost without my drop-down console.