2018-12-07 11:29:32 -05:00
|
|
|
import _ from 'underscore';
|
2018-03-09 15:18:59 -05:00
|
|
|
import $ from 'jquery';
|
2018-07-12 06:44:09 -04:00
|
|
|
import { Terminal } from 'xterm';
|
|
|
|
import * as fit from 'xterm/lib/addons/fit/fit';
|
2019-01-08 13:32:37 -05:00
|
|
|
import * as webLinks from 'xterm/lib/addons/webLinks/webLinks';
|
2018-12-07 11:29:32 -05:00
|
|
|
import { canScrollUp, canScrollDown } from '~/lib/utils/dom_utils';
|
2019-05-02 09:05:48 -04:00
|
|
|
import { __ } from '~/locale';
|
2018-12-07 11:29:32 -05:00
|
|
|
|
|
|
|
const SCROLL_MARGIN = 5;
|
|
|
|
|
|
|
|
Terminal.applyAddon(fit);
|
2019-01-08 13:32:37 -05:00
|
|
|
Terminal.applyAddon(webLinks);
|
2018-03-09 15:18:59 -05:00
|
|
|
|
2018-07-12 06:44:09 -04:00
|
|
|
export default class GLTerminal {
|
2018-12-07 11:29:32 -05:00
|
|
|
constructor(element, options = {}) {
|
2018-10-10 03:13:34 -04:00
|
|
|
this.options = Object.assign(
|
|
|
|
{},
|
|
|
|
{
|
|
|
|
cursorBlink: true,
|
|
|
|
screenKeys: true,
|
|
|
|
},
|
|
|
|
options,
|
|
|
|
);
|
2018-03-01 12:53:47 -05:00
|
|
|
|
2018-12-07 11:29:32 -05:00
|
|
|
this.container = element;
|
|
|
|
this.onDispose = [];
|
2016-11-24 08:01:25 -05:00
|
|
|
|
2018-07-12 06:44:09 -04:00
|
|
|
this.setSocketUrl();
|
|
|
|
this.createTerminal();
|
2018-08-03 08:41:33 -04:00
|
|
|
|
2018-07-12 06:44:09 -04:00
|
|
|
$(window)
|
|
|
|
.off('resize.terminal')
|
|
|
|
.on('resize.terminal', () => {
|
2016-11-24 08:01:25 -05:00
|
|
|
this.terminal.fit();
|
|
|
|
});
|
2018-07-12 06:44:09 -04:00
|
|
|
}
|
2016-11-24 08:01:25 -05:00
|
|
|
|
2018-07-12 06:44:09 -04:00
|
|
|
setSocketUrl() {
|
|
|
|
const { protocol, hostname, port } = window.location;
|
|
|
|
const wsProtocol = protocol === 'https:' ? 'wss://' : 'ws://';
|
|
|
|
const path = this.container.dataset.projectPath;
|
2016-11-24 08:01:25 -05:00
|
|
|
|
2018-07-12 06:44:09 -04:00
|
|
|
this.socketUrl = `${wsProtocol}${hostname}:${port}${path}`;
|
|
|
|
}
|
2016-11-24 08:01:25 -05:00
|
|
|
|
2018-07-12 06:44:09 -04:00
|
|
|
createTerminal() {
|
|
|
|
this.terminal = new Terminal(this.options);
|
2016-11-24 08:01:25 -05:00
|
|
|
|
2018-07-12 06:44:09 -04:00
|
|
|
this.socket = new WebSocket(this.socketUrl, ['terminal.gitlab.com']);
|
|
|
|
this.socket.binaryType = 'arraybuffer';
|
2016-11-24 08:01:25 -05:00
|
|
|
|
2018-07-12 06:44:09 -04:00
|
|
|
this.terminal.open(this.container);
|
2018-08-03 08:41:33 -04:00
|
|
|
this.terminal.fit();
|
2019-01-08 13:32:37 -05:00
|
|
|
this.terminal.webLinksInit();
|
2018-08-03 09:15:04 -04:00
|
|
|
this.terminal.focus();
|
2016-11-24 08:01:25 -05:00
|
|
|
|
2018-07-12 06:44:09 -04:00
|
|
|
this.socket.onopen = () => {
|
|
|
|
this.runTerminal();
|
|
|
|
};
|
|
|
|
this.socket.onerror = () => {
|
|
|
|
this.handleSocketFailure();
|
|
|
|
};
|
|
|
|
}
|
2016-11-24 08:01:25 -05:00
|
|
|
|
2018-07-12 06:44:09 -04:00
|
|
|
runTerminal() {
|
|
|
|
const decoder = new TextDecoder('utf-8');
|
|
|
|
const encoder = new TextEncoder('utf-8');
|
2016-11-24 08:01:25 -05:00
|
|
|
|
2018-07-12 06:44:09 -04:00
|
|
|
this.terminal.on('data', data => {
|
|
|
|
this.socket.send(encoder.encode(data));
|
|
|
|
});
|
2016-11-24 08:01:25 -05:00
|
|
|
|
2018-07-12 06:44:09 -04:00
|
|
|
this.socket.addEventListener('message', ev => {
|
|
|
|
this.terminal.write(decoder.decode(ev.data));
|
|
|
|
});
|
|
|
|
|
|
|
|
this.isTerminalInitialized = true;
|
|
|
|
this.terminal.fit();
|
2016-11-24 08:01:25 -05:00
|
|
|
}
|
|
|
|
|
2018-07-12 06:44:09 -04:00
|
|
|
handleSocketFailure() {
|
2019-05-02 09:05:48 -04:00
|
|
|
this.terminal.write('\r\n');
|
|
|
|
this.terminal.write(__('Connection failure'));
|
2018-07-12 06:44:09 -04:00
|
|
|
}
|
2018-12-07 11:29:32 -05:00
|
|
|
|
|
|
|
addScrollListener(onScrollLimit) {
|
|
|
|
const viewport = this.container.querySelector('.xterm-viewport');
|
|
|
|
const listener = _.throttle(() => {
|
|
|
|
onScrollLimit({
|
|
|
|
canScrollUp: canScrollUp(viewport, SCROLL_MARGIN),
|
|
|
|
canScrollDown: canScrollDown(viewport, SCROLL_MARGIN),
|
|
|
|
});
|
|
|
|
});
|
|
|
|
|
|
|
|
this.onDispose.push(() => viewport.removeEventListener('scroll', listener));
|
|
|
|
viewport.addEventListener('scroll', listener);
|
|
|
|
|
|
|
|
// don't forget to initialize value before scroll!
|
|
|
|
listener({ target: viewport });
|
|
|
|
}
|
|
|
|
|
|
|
|
disable() {
|
|
|
|
this.terminal.setOption('cursorBlink', false);
|
|
|
|
this.terminal.setOption('theme', { foreground: '#707070' });
|
|
|
|
this.terminal.setOption('disableStdin', true);
|
|
|
|
this.socket.close();
|
|
|
|
}
|
|
|
|
|
|
|
|
dispose() {
|
|
|
|
this.terminal.off('data');
|
|
|
|
this.terminal.dispose();
|
|
|
|
this.socket.close();
|
|
|
|
|
|
|
|
this.onDispose.forEach(fn => fn());
|
|
|
|
this.onDispose.length = 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
scrollToTop() {
|
|
|
|
this.terminal.scrollToTop();
|
|
|
|
}
|
|
|
|
|
|
|
|
scrollToBottom() {
|
|
|
|
this.terminal.scrollToBottom();
|
|
|
|
}
|
|
|
|
|
|
|
|
fit() {
|
|
|
|
this.terminal.fit();
|
|
|
|
}
|
2018-07-12 06:44:09 -04:00
|
|
|
}
|