This file is indexed.

/usr/lib/python2.7/dist-packages/terminado/uimod_embed.js is in python-terminado 0.6-1.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
window.addEventListener('load', function () {
    var containers = document.getElementsByClassName('terminado-container')
    var container, rows, cols, protocol, ws_url;
    for (var i = 0; i < containers.length; i++) { 
        container = containers[i];
        rows = parseInt(container.dataset.rows);
        cols = parseInt(container.dataset.cols);
        protocol = (window.location.protocol.indexOf("https") === 0) ? "wss" : "ws";
        ws_url = protocol+"://"+window.location.host+ container.dataset.wsUrl;
        make_terminal(container, {rows: rows, cols: cols}, ws_url);
    }
}, false);