Как начать bash в 13.04?

Если вы не хотите писать расширение Gnome-Shell, это невозможно.

Это также зависит от того, поддерживает ли Clutter эту функцию. Вы можете прочитать о написании расширений Gnome-Shell здесь:

https://live.gnome.org/GnomeShell/Extensions