Ticket #1235 (closed enhancement: duplicate)

Opened 2 years ago

Last modified 16 months ago

customizable external terminal

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

Description

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 2 years ago by azawawi

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

comment:2 Changed 16 months ago by bowtie

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

see

#1375

Note: See TracTickets for help on using tickets.