Ticket #1235 (closed enhancement: duplicate)

Opened 3 years ago

Last modified 2 years ago

customizable external terminal

Reported by: trash80 Owned by:
Priority: minor Milestone:
Component: not classified yet Version:
Keywords: Cc:


It will be great to allow user to choose which terminal will be used. For example on linux: gnome-terminal, xterm, kde-terminal
and on windows: cmd, cygwin, msys, gow...

Change History

comment:1 Changed 3 years ago by azawawi

Could you provide an initial set of commands for the ones that you know?

comment:2 Changed 2 years ago by bowtie

  • Status changed from new to closed
  • Resolution set to duplicate



Note: See TracTickets for help on using tickets.