Multi-tab-launching-script-maker for Gnome-terminal