Hi all,

I'd like to publish two Python scripts I've written to enhance the
usability of gnome-terminal. These scripts allow you to create a pull
down menu in the gnome-panel with gnome-terminal sessions.

- gnome-terminal-menu.py adds all the defined Gnome Terminal sessions to
the Gnome menu.

- gnome-terminal-new-profile.py creates a new Gnome Terminal session to
start a SSH connection to the supplied parameter. ie:
gnome-terminal-new-profile.py server.gnome.nl creates a new session
which connects to server.gnome.nl.

The new gnome menu (directory) can be added to the gnome-panel to allow
quick connect by choosing "add to panel", "copy launcher from menu",
click "gnome-terminal" and press Add.

Please let me know if you found this usefull.

greetings,
Dick