Mercurial > hg > rlgallery-misc

annotate dgl/dgamelaunch.conf @ 53:603ca756db04

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix the favicon.
author John "Elwin" Edwards
date Mon, 31 Mar 2014 13:45:29 -0700
parents 566e37477b91
children e421ea2519ec
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
24
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
3 # This is a sample dgamelaunch configuration file. Only bash-style comments
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
4 # are allowed, such as this. Each configuration option will be explained
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
5 # along with its default value.
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
6
14
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
7
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
8
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
9 # Global config variables:
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
10
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
11
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
12 # 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
13 # compiled with SQLite
24
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
14 maxusers = 64000
14
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
15
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
16 # Allow registration of new nicks? (yes or no)
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
17 allow_new_nicks = yes
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
18
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
19 # 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
20 # 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
21 # the record/logfile.
48
955c2fd68dcf dgl: allow names up to 20 characters long.
John "Elwin" Edwards
parents: 28
diff changeset
22 maxnicklen = 20
14
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
23
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
24 # 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
25 # "username", "game", "windowsize", "starttime" or "idletime".
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
26 # "username" is the default.
14
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
27 sortmode = "username"
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
28
24
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
29 # 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
30 # must have four elements as:
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
31 # [ "<display title>", "<sortname>", <Screen column>, "<printf format>" ]
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
32 #
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
33 # <sortname> may be "unsorted", "username", "game", "windowsize", "starttime",
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
34 # "duration", "idletime", or (if shmem is enabled) "watchers".
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
35 #
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
36 watch_columns = [ ["", "", 1, "%s)"],
51
566e37477b91 Rearrange dgamelaunch watch menu to accomodate 20-char player names.
John "Elwin" Edwards
parents: 48
diff changeset
37 ["User", "username", 4, "%-20s"],
566e37477b91 Rearrange dgamelaunch watch menu to accomodate 20-char player names.
John "Elwin" Edwards
parents: 48
diff changeset
38 ["Game", "game", 26, "%-11s"],
566e37477b91 Rearrange dgamelaunch watch menu to accomodate 20-char player names.
John "Elwin" Edwards
parents: 48
diff changeset
39 ["Term", "windowsize", 39, "%s"],
566e37477b91 Rearrange dgamelaunch watch menu to accomodate 20-char player names.
John "Elwin" Edwards
parents: 48
diff changeset
40 ["Idle", "idletime", 48, "%-10s"],
24
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
41 ["Started", "starttime", 60, "%s"]
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
42 ]
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
43
14
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
44 # Path to a prepared chroot jail.
24
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
45 chroot_path = "/var/dgl"
14
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
46
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
47 # 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
48 dglroot = "/dgldir/"
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
49
24
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
50 # Strings to be replaced in every banner
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
51 # you can have either direct string replacements, like
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
52 # "$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
53 # "$FOO" = timeformat("%F %T")
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
54 # for the timeformat parameter string format, see man strftime
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
55 bannervars = [ "$MOTDTIME" = "2011.10.08",
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
56 "$SERVERID" = "$ATTR(14)Roguelike Gallery - rlgallery.org$ATTR()",
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
57 "$DATETIME" = timeformat("%F %T")
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
58 ]
14
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
59
24
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
60 # 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
61 # shown in submenus that cannot be defined separately.
24
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
62 # 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
63 # - bannervars from above
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
64 # - $VERSION replaced with "dgamelaunch v" + dgl version number.
ce26225f7d9d Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents: 15
diff changeset
65 # - $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
66 # - $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
67 banner = "/dgldir/dgl-banner"
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 # 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
70 # 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
71 # 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
72 # 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
73 # 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
74 #
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
75 # 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
76 # 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
77
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
78 # shed_user: username to shed privileges to
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
79 #shed_user = "games"
9945b472aac2 Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
80 # shed_group: group name to shed privileges to