Mercurial > hg > rlgallery-misc

annotate dgl/dgamelaunch.conf @ 79:ea014ed97581

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add a script for making backups.
author John "Elwin" Edwards
date Fri, 13 Jan 2017 17:36:23 -0500
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
79