-
Adam Wujek authored
Use "xterm" as a terminal type instead of default "xterm-256color" used by gnome-terminal. Signed-off-by: Adam Wujek <adam.wujek@cern.ch>
0b0fa97f
Use "xterm" as a terminal type instead of default "xterm-256color" used by
gnome-terminal.
Signed-off-by: Adam Wujek <adam.wujek@cern.ch>