configuration {
  theme: "android_notification";
  terminal: "gnome-terminal";
  ssh-client: "ssh";
  ssh-command: "{terminal} -- {ssh-client} {host}";
}