This file is indexed.

/usr/share/stellarium/scripts/screensaver.ssc is in stellarium-data 0.15.0-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
//
// Name: Screensaver
// License: Public Domain
// Author: Matthew Gates
// Shortcut: Ctrl+D,3
// Description: A slow, infinite tour of the sky, looking at random objects.
//

include("common_objects.inc");

// prevent jerky display, at the cost of power/CPU consumption
core.setMinFps(2000);
core.clear("starchart");
GridLinesMgr.setFlagEquatorGrid(false);
core.setGuiVisible(false);
id = LabelMgr.labelScreen("Press Ctrl+T to un-hide the toolbar", 100,100, false, 20);
LabelMgr.setLabelShow(id, true);
core.wait(4);
LabelMgr.setLabelShow(id, false);
LabelMgr.deleteLabel(id);
ConstellationMgr.setFlagIsolateSelected(true);

while(1)
{
	var r = Math.floor(Math.random()*3);
	var objName;
	var objType;
	if (r == 0)
	{
		objType = "Planet";
		objName = planets[Math.floor(Math.random()*planets.length)];
	}
	else if (r == 1)
	{
		objType = "Constellation";
		objName = constellations[Math.floor(Math.random()*constellations.length)];
	}
	else
	{
		objType = "Nebula";
		objName = nebulae[Math.floor(Math.random()*nebulae.length)];
	}
	core.debug("Choosing " + objType + " (" + r + "): " + objName);
	core.selectObjectByName(objName, true);
	if (r == 1)
	{
		StelMovementMgr.autoZoomIn(6);
		core.wait(1);
		StelMovementMgr.zoomTo(40,8);
		core.wait(1);
		ConstellationMgr.setFlagArt(true);
		core.wait(4);
		core.wait(10);
		ConstellationMgr.setFlagArt(false);
	}
	else
	{
		StelMovementMgr.autoZoomIn(6);
		core.wait(10);
		StelMovementMgr.zoomTo(60,8);
		core.wait(10);
	}
}