Initially I thought this was based on wmctrl[0] which is a nice piece of software. It allows you to do some fancy window manager scripting in bash, even when ru

Initially I thought this was based on wmctrl[0] which is a nice piece of software. It allows you to do some fancy window manager scripting in bash, even when running GNOME Shell. [0]: http://linux.die.net/man/1/wmctrl http://linux.die.net/man/1/wmctrl