This file is indexed.

/usr/share/doc/sludge/SLUDGEDevKitHelp/getMatchingFiles.html is in sludge-doc 2.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
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
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html>
<head>
<TITLE>getMatchingFiles</TITLE>
  <link rel="stylesheet" type="text/css" href="style.css" />
</head>
<BODY>
<HR>
<div align="center"><img id="headerGraphic" src="images/sludge300.png" alt="SLUDGE"/></div>
<h2>getMatchingFiles</h2>
<HR>

<H3>Syntax:</H3>

<P>
<pre class="syntax">getMatchingFiles (<i>extension</i>);</pre>
</P>

<H3>Purpose:</H3>

<P>
Finds all files in the current directory which end in the given extension.
</P>

<P>
This function supports filename bodging - for details see the <a href="bodgeFilenames.html">bodgeFilenames</a> command.
</P>

<H3>Return value:</H3>

<P>
The function returns a <a href="The_Multi-Purpose_Stack___Array___Queue_Type.html">stack</a> containing an element for every file which was found. Each element is the name of a one of the files without the extension. The values in this stack can then be displayed on the screen for a user to choose which saved game to load or overwrite, although programming such an interface is left to the developer.
</P>

<H3>See also:</H3>

<P>
<a href="The_Multi-Purpose_Stack___Array___Queue_Type.html">The Multi-Purpose Stack / Array / Queue Type</a>
</P>

<P>
<a href="fileExists.html">fileExists</a>
</P>

<P>
<a href="deleteFile.html">deleteFile</a>
</P>

<P>
<a href="loadGame.html">loadGame</a>
</P>

<P>
<a href="saveGame.html">saveGame</a>
</P>

<P>
<a href="renameFile.html">renameFile</a>
</P>

<P class="copyright-notice">SLUDGE and this SLUDGE documentation are <A HREF="Copyright.html">copyright</A> Hungry Software and contributors 2000-2012
</P>

<HR>
</BODY>
</html>