Re: Gnome Terminal profile scripts
- From: Robert Moonen <rmoonen bigpond net au>
- To: Dick Marinus <dick mrns nl>
- Cc: gnome-list gnome org
- Subject: Re: Gnome Terminal profile scripts
- Date: Sun, 31 May 2009 15:00:14 +1000
Dick Marinus wrote:
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.
Hi Dick,
I have put those 2 scripts into my ~/bin directory and made them
executable, but still after following your instructions to put them in
the panel (or if I execute them manually), nothing is happening, what do
you think I could have possibly missed.
Thanks
Robert
------------------------------------------------------------------------
_______________________________________________
gnome-list mailing list
gnome-list gnome org
http://mail.gnome.org/mailman/listinfo/gnome-list
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]