Opened 8 years ago

Closed 7 years ago

#1235 closed enhancement (duplicate)

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 (2)

comment:1 Changed 8 years ago by azawawi

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

comment:2 Changed 7 years ago by bowtie

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



Note: See TracTickets for help on using tickets.