This file is indexed.

/etc/emboss-explorer/emboss-explorer.conf is in emboss-explorer 2.2.0-9.

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
68
69
70
# Starting from emboss-explorer 2.2.0-6, files in /var/www were moved to more
# appropriate locations in /usr/share/emboss-explorer and
# /var/lib/emboss-explorer.

# path to the EMBOSS::GUI HTML files
our $HTML_PATH = "/usr/share/emboss-explorer/html";

# URL corresponding to $HTML_PATH above
our $HTML_URL = "/emboss-explorer";

# URL specifying the style sheet to use
our $STYLE_URL = "$HTML_URL/style/emboss.css";

# URL prefix to place before image links
our $IMAGE_URL = "$EMBOSS_HOME/doc/html/";

# URL prefix to place before manual links (only used in static pages)
our $MANUAL_URL = "/doc/emboss-explorer/html";

# path to the EMBOSS::GUI temporary output directory
our $OUTPUT_PATH = "/var/lib/emboss-explorer/output";

# URL corresponding to $OUTPUT_PATH above
our $OUTPUT_URL = "/emboss-explorer/output";

# prefix under which EMBOSS was installed
our $EMBOSS_PREFIX = "/usr";

# path to EMBOSS binaries
our $EMBOSS_BIN = "/usr/lib/emboss";

# path to EMBOSS installation
our $EMBOSS_HOME = "$EMBOSS_PREFIX/share/EMBOSS";

# path to EMBOSS ACD files
our $EMBOSS_ACDROOT = "$EMBOSS_HOME/acd";

# path to EMBOSS data
our $EMBOSS_DATA = "$EMBOSS_HOME/data";

# path to EMBOSS application manuals
our $EMBOSS_MANUAL = "$EMBOSS_HOME/doc/html";

# list of groups and applications to exclude from the main menu
our @EXCLUDED = (
	"ACD",
	"acdc",
	"acdpretty",
	"acdtable",
	"acdtrace",
	"acdvalid",
	"UTILS DATABASE CREATION",
	"aaindexextract",
	"cutgextract",
	"printsextract",
	"prosextract",
	"rebaseextract",
	"tfextract",
	"UTILS DATABASE INDEXING",
	"dbiblast",
	"dbifasta",
	"dbiflat",
	"dbigcg",
);

# number of seconds to delay between placeholder page refreshes
our $REFRESH_DELAY = 1;

# whether or not to display using frames
our $FRAMES = 1;