change default terminal for ssh plugin

Asked by nean

Hi,

I'm using ubuntu 14.04 and like to use the terminator.
I've tried almost everything to get the terminal changed for the ssh plugin.
nothing works for me not via aternatives, dconf, .desktop file,... etc,...
the only think that worked was to repoint /usr/bin/gnome-terminal to terminator which is kinda ugly.

are there any other ways to change ist?
is it possible to add a configuration parameter for the ssh plugin?

Question information

Language:
English Edit question
Status:
Answered
For:
Synapse Edit question
Assignee:
No assignee Edit question
Last query:
Last reply:
Revision history for this message
Jeremy Munsch (jeremy-munsch) said :
#1

AppInfo ai = AppInfo.create_from_commandline (
            "ssh %s".printf (this.title),
            "ssh", AppInfoCreateFlags.NEEDS_TERMINAL);
          ai.launch (null, null);

the relevant thing is :
new DesktopAppInfo.from_filename (app_match.filename);
http://valadoc.org/#!api=gio-unix-2.0/GLib.DesktopAppInfo

This is the code part in synapse.
I had the same issue on Kubuntu where it used, gnome-terminal and after purge, it used xterm (lol).
This is because of some gnome (gconf i believed) related configuration. I changed my default terminal to terminator by link as you did but with as bash script :

#!/bin/sh
arg=""
for var in "$@";do
    arg="$arg $var"
done
terminator --new-tab $arg

I don't have the answer and i could not find something on google but since you only want to use terminator your solution is probably the best thing to do for now. Please if you find some relevant info share it i will make a new bug and link it.

Can you help with this problem?

Provide an answer of your own, or ask nean for more information if necessary.

To post a message you must log in.