This file is indexed.

/usr/share/jed/lib/linux.sl is in jed-common 1:0.99.19-2.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
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
%
%  Special file for Linux systems.
%

% This file sets up the console keys pgup/dn, etc.  
% To use it, simply rename it to defaults.sl.

% The directory where info files are kept.  Modify this appropriately.  See
% 'install.all' for a discussion of this.

%Info_Directory = ???


$1 = getenv ("TERM");
if ($1 == NULL) $1 = "";
if (is_list_element ("linux,console,con80x25,con80x28", $1, ','))
{
   USE_ANSI_COLORS = 1;   % uncomment if your console is a color one!
   OUTPUT_RATE = 0;
   TERM_CANNOT_SCROLL = -1;   % Truth is, linux console does not scroll well.
   setkey("bol",      		"\e[1~");	% home
   setkey("toggle_overwrite",	"\e[2~");       % insert
   setkey("delete_char_cmd",	"\e[3~");       % delete
   setkey("eol",		"\e[4~");       % end
   setkey("page_up",		"\e[5~");	
   setkey("page_down",		"\e[6~");
}