This file is indexed.

/usr/share/bibledit/journal/index.js is in bibledit-data 5.0.453-3.

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
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
/*
Copyright (©) 2003-2017 Teus Benschop.

This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 3 of the License, or
(at your option) any later version.
 
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.
  
You should have received a copy of the GNU General Public License
along with this program; if not, write to the Free Software
Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
*/


$(window).on ('load', function () {
  $ ("#logbook").on ("click", journal_clicked);
  $ ("#workspacewrapper").animate ({ scrollTop: $("#workspacewrapper").prop("scrollHeight") }, 3000);
});


function getMore ()
{
  $.ajax ({
    url: "index",
    type: "GET",
    data: { filename: filename },
    cache: false,
    success: function (response) {
      if (response == "") {
        setTimeout (getMore, 2000);
      } else {
        var response = response.split ("\n");
        filename = response [0];
        for (var i = 1; i < response.length; i++) {
          $ ("#logbook").append ($ (response [i]));
        }
        $("#workspacewrapper").animate ({ scrollTop: $("#workspacewrapper").prop("scrollHeight") }, 100);
        setTimeout (getMore, 100);
      }
    },
  });
}


setTimeout (getMore, 3000);


function journal_clicked (event)
{
  event.preventDefault ();
  if (typeof event.target.href === "undefined") return;
  var target = $ (event.target);
  $.ajax ({
    url: "index",
    type: "GET",
    data: { expansion: event.target.href },
    cache: false,
    success: function (response) {
      target.replaceWith (response);
    },
  });
}