
<html>

  <head>

    <meta http-equiv="content-type" content="text/html; charset=utf-8">

  </head>

  <body text="#000000" bgcolor="#FFFFFF">

    Here's a patch that (hopefully) adds support for mate-terminal,

    which is a fork of<br>

    gnome-terminal and the default terminal emulator for the MATE

    desktop environment.<br>

    I've also changed the command line argument --title to -t because

    according to the<br>

    <a

href="http://manpages.ubuntu.com/manpages/utopic/man1/gnome-terminal.1.html">man


      page</a> the correct usage would be --title=TITLE. And I removed

    that -x argument<br>

    thing because gnome-terminal supports -e and it seems to be the only

    terminal<br>

    that also uses -x (not even mate-terminal does that).<br>

    <br>

  </body>

</html>