The lovely pkill and pgrep

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.