Mercurial > hg > rlgallery-misc

annotate dgl/dgamelaunch.conf @ 72:1d8dc3ed22cf

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Restore the default size of the high score list. In an era of megabyte JavaScript libraries, ten lines of text is not too much.
author John "Elwin" Edwards
date Sun, 20 Mar 2016 07:59:22 -0400
parents ad103f9f2e3a
children 5f1b4d3151bb
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
51
566e37477b91 Rearrange dgamelaunch watch menu to accomodate 20-char player names.
John "Elwin" Edwards
parents: 48
diff changeset
1 # rlgallery.org dgamelaunch configuration file
566e37477b91 Rearrange dgamelaunch watch menu to accomodate 20-char player names.
John "Elwin" Edwards
parents: 48
diff changeset
2
14
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
3 # Global config variables:
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
4
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
5
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
6 # Max amount of registered users to allow. Has no effect if dgl was
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
7 # compiled with SQLite
24
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
8 maxusers = 64000
14
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
9
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
10 # Allow registration of new nicks? (yes or no)
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
11 allow_new_nicks = yes
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
12
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
13 # Max length for newly registered nicks. Must be less than 20.
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
14 # By default, NetHack only stores the first 10 chars of a name into
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
15 # the record/logfile.
48
955c2fd68dcf dgl: allow names up to 20 characters long.
John "Elwin" Edwards
parents: 28
diff changeset
16 maxnicklen = 20
14
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
17
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
18 # Set the default watching-screen sorting mode. Can be one of
24
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
19 # "username", "game", "windowsize", "starttime" or "idletime".
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
20 # "username" is the default.
14
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
21 sortmode = "username"
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
22
24
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
23 # Set the columns displayed in the watching-screen. Each column definition
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
24 # must have four elements as:
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
25 # [ "<display title>", "<sortname>", <Screen column>, "<printf format>" ]
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
26 #
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
27 # <sortname> may be "unsorted", "username", "game", "windowsize", "starttime",
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
28 # "duration", "idletime", or (if shmem is enabled) "watchers".
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
29 #
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
30 watch_columns = [ ["", "", 1, "%s)"],
51
566e37477b91 Rearrange dgamelaunch watch menu to accomodate 20-char player names.
John "Elwin" Edwards
parents: 48
diff changeset
31 ["User", "username", 4, "%-20s"],
566e37477b91 Rearrange dgamelaunch watch menu to accomodate 20-char player names.
John "Elwin" Edwards
parents: 48
diff changeset
32 ["Game", "game", 26, "%-11s"],
566e37477b91 Rearrange dgamelaunch watch menu to accomodate 20-char player names.
John "Elwin" Edwards
parents: 48
diff changeset
33 ["Term", "windowsize", 39, "%s"],
566e37477b91 Rearrange dgamelaunch watch menu to accomodate 20-char player names.
John "Elwin" Edwards
parents: 48
diff changeset
34 ["Idle", "idletime", 48, "%-10s"],
24
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
35 ["Started", "starttime", 60, "%s"]
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
36 ]
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
37
14
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
38 # Path to a prepared chroot jail.
24
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
39 chroot_path = "/var/dgl"
14
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
40
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
41 # From inside the jail, dgamelaunch's working directory for rcfiles/ttyrec/etc
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
42 dglroot = "/dgldir/"
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
43
24
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
44 # Strings to be replaced in every banner
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
45 # you can have either direct string replacements, like
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
46 # "$FOO" = "BAR", or you can get the server time with
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
47 # "$FOO" = timeformat("%F %T")
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
48 # for the timeformat parameter string format, see man strftime
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
49 bannervars = [ "$MOTDTIME" = "2011.10.08",
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
50 "$SERVERID" = "$ATTR(14)Roguelike Gallery - rlgallery.org$ATTR()",
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
51 "$DATETIME" = timeformat("%F %T")
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
52 ]
14
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
53
24
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
54 # From inside the jail, location of a banner file, which is
14
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
55 # shown in submenus that cannot be defined separately.
24
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
56 # Some string substitution is done for every banner file contents:
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
57 # - bannervars from above
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
58 # - $VERSION replaced with "dgamelaunch v" + dgl version number.
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
59 # - $USERNAME replaced with logged-in user's name, or with "[Anonymous]"
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
60 # - $INCLUDE(filename) the named file will be inserted here.
14
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
61 banner = "/dgldir/dgl-banner"
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
62
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
63 # The following two options are fairly insecure. They will force us to
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
64 # load the password/group database into memory while still having root
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
65 # privileges. Replace them with shed_uid/shed_gid entries as soon as
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
66 # possible if you decide to use them. dgamelaunch will inform you of
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
67 # the uids/gids corresponding to your choices when it loads.
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
68 #
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
69 # Note that shed_uid and shed_gid will always take precedence over
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
70 # shed_user and shed_group if they are specified.
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
71
55
e421ea2519ec dgamelaunch: define user/group by name instead of UID/GID.
John "Elwin" Edwards
parents: 51
diff changeset
72 # Use names, because the numeric ID's are not really predictable. They can
e421ea2519ec dgamelaunch: define user/group by name instead of UID/GID.
John "Elwin" Edwards
parents: 51
diff changeset
73 # always be substituted after installation.
e421ea2519ec dgamelaunch: define user/group by name instead of UID/GID.
John "Elwin" Edwards
parents: 51
diff changeset
74
14
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
75 # shed_user: username to shed privileges to
55
e421ea2519ec dgamelaunch: define user/group by name instead of UID/GID.
John "Elwin" Edwards
parents: 51
diff changeset
76 shed_user = "rodney"
14
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
77 # shed_group: group name to shed privileges to
55
e421ea2519ec dgamelaunch: define user/group by name instead of UID/GID.
John "Elwin" Edwards
parents: 51
diff changeset
78 shed_group = "rodney"
14
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset