This file is indexed.

/usr/share/doc/jed-common/html/jed004.html is in jed-common 1:0.99.19-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
<!DOCTYPE html>
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
<meta name="generator" content="hevea 2.09">
<link rel="stylesheet" type="text/css" href="jed.css">
<title>Startup Files</title>
</head>
<body >
<a href="jed003.html"><img src="previous_motif.gif" alt="Previous"></a>
<a href="index.html"><img src="contents_motif.gif" alt="Up"></a>
<a href="jed005.html"><img src="next_motif.gif" alt="Next"></a>
<hr>
<h2 id="sec4" class="section">3&#XA0;&#XA0;Startup Files</h2>
<p>Once <span style="font-weight:bold">jed</span> has loaded the startup file <code>site.sl</code>, it will try to load
the user&#X2019;s personal initialization file. It first looks in the directory
pointed to by the environment variable <code>JED_HOME</code>. If that fails, it
then searches the <code>HOME</code> directory and upon failure simply loads the
one supplied in <code>JED_LIBRARY</code>.</p><p>The name of the user initialization file varies according to the operating
system. On Unix systems this file must be called <code>.jedrc</code> while on
VMS and MSDOS, it goes by the name <code>jed.rc</code>. For VMS systems, the
<code>HOME</code> directory corresponds to the <code>SYS$LOGIN</code> logical name while for the other two systems, it corresponds to the
<code>HOME</code> environment variable.</p><p>The purpose of this file is to allow an individual user to tailor <span style="font-weight:bold">jed</span> to
his or her personal taste. Most likely, this will involve choosing an
initial set of key-bindings, setting some variables, and so on.</p>
<hr>
<a href="jed003.html"><img src="previous_motif.gif" alt="Previous"></a>
<a href="index.html"><img src="contents_motif.gif" alt="Up"></a>
<a href="jed005.html"><img src="next_motif.gif" alt="Next"></a>
</body>
</html>