Change terminal colors

This commit is contained in:
Gabor PEK
2018-03-14 14:34:17 +01:00
parent ba2e2ace6d
commit a7dbd15370
7 changed files with 47 additions and 9 deletions

View File

@ -11,7 +11,32 @@ export class TerminadoService {
constructor() {
Terminal.applyAddon(fit);
Terminal.applyAddon(terminado);
this.xterm = new Terminal();
this.xterm = new Terminal({
theme: {
foreground: '#ffffff',
background: '#002426', // $tao-phtalo-900
cursor: '#ffffff',
selection: 'rgba(255, 255, 255, 0.3)',
black: '#000000',
red: '#FF5252', // $tao-red-500
brightRed: '#FF7171', // $tao-red-400
green: '#2fd19f', // $tao-bright-green-500
brightGreen: '#2fd19f', // $tao-bright-green-500
brightYellow: '#FFD283', // $tao-warm-yellow-300
yellow: '#FFB83B', // $tao-warm-yellow-500
magenta: '#FF8FC6', // $tao-pink-200
brightMagenta: '#FF8FC6', // $tao-pink-200
cyan: '#277EEC', // $tao-blue-500
blue: '#277EEC', // $tao-blue-500
brightCyan: '#42B7DF', // $tao-sky-400
brightBlue: '#19A7D8', // $tao-sky-500
white: '#FAFAFA', // $tao-gray-50
brightBlack: '#808080',
brightWhite: '#ffffff'
},
fontSize: 14
});
const wsproto = (location.protocol === 'https:') ? 'wss://' : 'ws://';
this.ws = new WebSocket(wsproto + window.location.host + '/terminal');
}