Guake/guake — pull request #283 by zborboa-google (2014-03-14 16:14:05+00:00)
Title: Fix #279: Rename tab without switching to tab

This adds the options `--rename-tab` and `--tab-index`.

Usage:

guake --tab-index=1 --rename-tab="My New Tab"
guake --tab-index=2 --rename-tab="$(date)"