Since the last reponse is 21 months old, I'm adding a note mentioning that this scope still works in 15.10 (Wily Werewolf) after the aforementioned work around, despite apparently not being maintained, and that I loved it.
Adding a diff file containing the workaround and one addition to allow for parameters for the terminal app. For instance, I want the terminals opened with profile "remote", so I added:
if port == SSH_DEFAULT_PORT:
# don't call with the port option, because the host definition
# could be from the ~/.ssh/config file GLib.spawn_command_line_async('%s %s -e "ssh %s"' % (TERMINAL_APP, TERMINAL_OPT, target))
else: GLib.spawn_command_line_async('%s %s -e "ssh -p %s %s"' % (TERMINAL_APP, TERMINAL_OPT, port, target))
Since the last reponse is 21 months old, I'm adding a note mentioning that this scope still works in 15.10 (Wily Werewolf) after the aforementioned work around, despite apparently not being maintained, and that I loved it.
Adding a diff file containing the workaround and one addition to allow for parameters for the terminal app. For instance, I want the terminals opened with profile "remote", so I added:
TERMINAL_APP = 'gnome-terminal' with-profile= remote' APP_MIMETYPE = 'application/ x-desktop'
TERMINAL_OPT = '--window-
TERMINAL_
if port == SSH_DEFAULT_PORT:
GLib. spawn_command_ line_async( '%s %s -e "ssh %s"' % (TERMINAL_APP, TERMINAL_OPT, target))
GLib. spawn_command_ line_async( '%s %s -e "ssh -p %s %s"' % (TERMINAL_APP, TERMINAL_OPT, port, target))
# don't call with the port option, because the host definition
# could be from the ~/.ssh/config file
else: