docker-labs/www/assets/main.js

//var term,
    //protocol,
    //socketURL,
    //socket,
    //pid,
    //charWidth,
    //charHeight;

//var terminalContainer = document.getElementById('terminal-container'),
    //optionElements = {
      //cursorBlink: document.querySelector('#option-cursor-blink')
    //},
    //colsElement = document.getElementById('cols'),
    //rowsElement = document.getElementById('rows');

//function setTerminalSize () {
  //var cols = parseInt(colsElement.value),
      //rows = parseInt(rowsElement.value),
      //width = (cols * charWidth).toString() + 'px',
      //height = (rows * charHeight).toString() + 'px';

  //terminalContainer.style.width = width;
  //terminalContainer.style.height = height;
  //term.resize(cols, rows);
//}

//colsElement.addEventListener('change', setTerminalSize);
//rowsElement.addEventListener('change', setTerminalSize);

//optionElements.cursorBlink.addEventListener('change', createTerminal);

//createTerminal();

function createTerminal(name) {
  var terminalContainer = document.getElementById('terminal-' + name);
  // Clean terminal
  while (terminalContainer.children.length) {
    terminalContainer.removeChild(terminalContainer.children[0]);
  }
  term = new Terminal({
    cursorBlink: false
  });
  protocol = (location.protocol === 'https:') ? 'wss://' : 'ws://';
  socketURL = protocol + location.hostname + ((location.port) ? (':' + location.port) : '') + '/exec/' + name;

  term.open(terminalContainer);

  socket = new WebSocket(socketURL);
  socket.onopen = runRealTerminal;

}


function runRealTerminal() {
  term.attach(socket);
  term._initialized = true;
}