Trouble in Gotham: Guake frozen
This morning my guake terminal froze. No key combination within guake would work to get it back going, of course, because no keys worked within guake.So I used ctr-alt-t to open another terminal and top to list open processes. Perhaps because guake was frozen, it didn't make the top screen.
Enter pkill
Instead, from the other terminal I used pkill.
This killed guake right away.
