Mercurial > hg > rlgallery-misc
annotate dgl/dgamelaunch.conf @ 51:566e37477b91
Rearrange dgamelaunch watch menu to accomodate 20-char player names.
author | John "Elwin" Edwards |
---|---|
date | Sun, 30 Mar 2014 20:03:53 -0700 |
parents | 955c2fd68dcf |
children | e421ea2519ec |
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 |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
81 #shed_group = "games" |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
82 |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
83 # Preferably, you may use the respective gids/uids. This is for Debian: |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
84 shed_uid = 501 |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
85 shed_gid = 501 |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
86 |
24
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
87 # Locale. Leaving this out, dgamelaunch will not explicitly set locale. |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
88 locale = "en_US.UTF-8" |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
89 |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
90 # Default TERM, used if the user's $TERM is unknown. |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
91 # If undefined, dgamelaunch will just terminate in that case. |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
92 default_term = "xterm" |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
93 |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
94 # Should dgl send select-UTF8-charset escape code? (that is: ESC % G) |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
95 # default is no. |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
96 #utf8esc = yes |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
97 |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
98 # Should dgl allow XON/XOFF? Default is "yes", meaning "don't touch it". |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
99 # "no" disables XON/XOFF |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
100 #flowcontrol = no |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
101 |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
102 # Maximum time in seconds user can idle in the dgamelaunch menus |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
103 # before dgl exits. Default value is 0, which disables the idling timer. |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
104 # Does not apply to external programs or config editors. |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
105 # For setting game idle time, use max_idle_time in the game DEFINE. |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
106 # menu_max_idle_time = 1024 |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
107 |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
108 # Passwd refers to the file that stores the user database. |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
109 # The default passwd file is "/dgl-login" for flat-text database, and for |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
110 # sqlite, whatever value was defined for the sqlite database at compile time. |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
111 # This is also used for the shared memory key, if shmem is enabled at compile |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
112 # time. |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
113 #passwd = "/dgl-login" |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
114 |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
115 # Lockfile is used only when dgl was compiled without sqlite. |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
116 #lockfile = "/dgl-lock" |
14
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
117 |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
118 # |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
119 # define some commands that are run when something happens. format is |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
120 # commands [ <time> ] = <command> ... |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
121 # |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
122 # <time> can be one of: |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
123 # dglstart = when someone telnets in |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
124 # login = when user has logged in |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
125 # register = right after a new user is registered |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
126 # gamestart = just before a game is started |
24
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
127 # gameend = after a game ends (see also per-game "postcommand" define) |
14
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
128 # |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
129 # <command> is: |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
130 # mkdir "foo" = create a directory "foo" |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
131 # chdir "foo" = change current work dir to "foo" |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
132 # cp "foo" "bar" = copy file "foo" to "bar", overwriting previous "bar" |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
133 # ifnxcp "foo" "bar" = copy file "foo" to "bar", if "bar" doesn't exist |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
134 # unlink "foo" = delete file "foo" |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
135 # setenv "foo" "bar" = set environment variable "foo" to "bar" |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
136 # exec "foo" "bar" = execute "foo" with "bar" as it's param |
24
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
137 # rawprint "foo" = output string "foo" |
14
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
138 # chpasswd = do the change password prompting, if logged in |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
139 # chmail = do the change email prompting, if logged in |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
140 # watch_menu = go to the watching menu |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
141 # quit = quit dgl |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
142 # ask_login = do the login prompting, if not logged in |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
143 # ask_register = do register new user prompting, if not logged in and |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
144 # registration of new nicks is allowed. |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
145 # play_game "foo" = start game which has the short name "foo" |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
146 # (user must be logged in) |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
147 # submenu "foo" = go to submenu "foo" |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
148 # return = return from submenu |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
149 # |
24
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
150 # NOTE: edit_options-command was removed. use ifnxcp and exec to simulate it. |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
151 # |
14
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
152 # The commands will be done inside the chroot and with the uid and gid |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
153 # defined above. |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
154 # Parameters to the commands are subject to variable substitution: |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
155 # %r = dglroot, as defined above |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
156 # %n = user nick, if user is logged in |
24
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
157 # %N = first character of user name, if user is logged in |
14
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
158 # %u = shed_uid, as defined above, but numeric |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
159 # %g = game name, if user has selected a game. |
24
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
160 # %s = short game name, if user has selected a game. |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
161 # %t = ttyrec path & filename of the last game played. |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
162 # |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
163 # Also some escape codes: |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
164 # \\ = backslash |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
165 # \a = bell |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
166 # \b = backspace |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
167 # \e = escape character |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
168 # \f = form feed |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
169 # \n = newline |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
170 # \r = carriage return |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
171 # \t = tab |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
172 # \v = vertical tab |
14
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
173 # |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
174 # eg. commands[login] = mkdir "foo", unlink "bar", setenv "Z" "foo" |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
175 # |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
176 |
24
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
177 # Change the terminal title: (assuming terminals support the escape code) |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
178 #commands[dglstart] = rawprint "\e]2;nethack.alt.org\a" |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
179 |
14
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
180 # create the user's dirs when they register |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
181 commands[register] = mkdir "%ruserdata/%n", |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
182 mkdir "%rttyrec/%n", |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
183 mkdir "%rttyrec/%n/rogue3", |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
184 mkdir "%rttyrec/%n/rogue4", |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
185 mkdir "%rttyrec/%n/rogue5", |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
186 mkdir "%rttyrec/%n/srogue", |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
187 mkdir "%rttyrec/%n/arogue5" |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
188 |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
189 commands[login] = mkdir "%ruserdata/%n", |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
190 mkdir "%rttyrec/%n", |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
191 mkdir "%rttyrec/%n/rogue3", |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
192 mkdir "%rttyrec/%n/rogue4", |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
193 mkdir "%rttyrec/%n/rogue5", |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
194 mkdir "%rttyrec/%n/srogue", |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
195 mkdir "%rttyrec/%n/arogue5" |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
196 |
24
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
197 # file mode for when commands copy files. |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
198 # readable and writable by all. you could use eg. "0644" to be more secure. |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
199 filemode = "0644" |
14
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
200 |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
201 |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
202 |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
203 |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
204 # Define the main menus. |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
205 # You _must_ define "mainmenu_anon" and "mainmenu_user". |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
206 # $VERSION and $SERVERID will be replaced, as per the bannerfile above. |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
207 |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
208 # First, the menu shown to anonymous user: |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
209 menu["mainmenu_anon"] { |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
210 bannerfile = "/dgldir/dgl_menu_main_anon.txt" |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
211 commands["l"] = ask_login |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
212 commands["r"] = ask_register |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
213 commands["w"] = watch_menu |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
214 commands["q"] = quit |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
215 } |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
216 |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
217 # Then the menu shown when the user has logged in: |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
218 # $USERNAME in here will be replaced with the user name. |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
219 menu["mainmenu_user"] { |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
220 # contents of this file are written to screen. |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
221 # the file must be inside the chroot. |
24
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
222 # Some string subsitutions can be done in the file: |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
223 # $INCLUDE(filename) = includes the file to this file. |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
224 # String substitutions defined in bannervars-section above. |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
225 # $VERSION = dgamelaunch version |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
226 # $USERNAME = user name (or [Anonymous] if not logged in) |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
227 # $ATTR(params) = change text color and attributes. |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
228 # params can be either number (to set the text color), |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
229 # one, or any of "b" (bold), "s" (standout), "u" (underline), |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
230 # "r" (reverse) or "d" (dim), |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
231 # or both color number and attribute characters, separated by colon. |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
232 # Empty param resets color and attributes to default. |
14
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
233 bannerfile = "/dgldir/dgl_menu_main_user.txt" |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
234 # after which cursor is moved to this location |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
235 # if cursor-definition is missing, the cursor is put |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
236 # to the end of the last line of the banner. |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
237 # cursor = (5,18) |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
238 # keys we accept. format is |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
239 # commands["string_of_keys"] = <commandlist> |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
240 # for example, you could use commands["qQ"] = quit |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
241 commands["c"] = chpasswd |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
242 commands["e"] = chmail |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
243 commands["w"] = watch_menu |
51
566e37477b91
Rearrange dgamelaunch watch menu to accomodate 20-char player names.
John "Elwin" Edwards
parents:
48
diff
changeset
|
244 commands["3"] = play_game "RogueV3" |
566e37477b91
Rearrange dgamelaunch watch menu to accomodate 20-char player names.
John "Elwin" Edwards
parents:
48
diff
changeset
|
245 commands["4"] = play_game "RogueV4" |
566e37477b91
Rearrange dgamelaunch watch menu to accomodate 20-char player names.
John "Elwin" Edwards
parents:
48
diff
changeset
|
246 commands["5"] = play_game "RogueV5" |
566e37477b91
Rearrange dgamelaunch watch menu to accomodate 20-char player names.
John "Elwin" Edwards
parents:
48
diff
changeset
|
247 commands["Ss"] = play_game "SRogue" |
566e37477b91
Rearrange dgamelaunch watch menu to accomodate 20-char player names.
John "Elwin" Edwards
parents:
48
diff
changeset
|
248 commands["Aa"] = play_game "ARogue5" |
14
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
249 commands["q"] = quit |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
250 } |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
251 |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
252 # this menu is shown when user presses '?' in the watching menu |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
253 menu["watchmenu_help"] { |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
254 bannerfile = "/dgldir/dgl_menu_watchmenu_help.txt" |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
255 commands["qQ "] = return |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
256 } |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
257 |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
258 # Rogue V3: short and simple, like the game |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
259 DEFINE { |
27 | 260 game_path = "/usr/bin/rogue3" |
14
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
261 game_name = "Rogue V3 (3.6)" |
51
566e37477b91
Rearrange dgamelaunch watch menu to accomodate 20-char player names.
John "Elwin" Edwards
parents:
48
diff
changeset
|
262 short_name = "RogueV3" |
14
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
263 |
27 | 264 game_args = "rogue3", "-n", "%n" |
14
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
265 |
25
dd72d2dd923f
Move the inprogress dirs into a single directory.
John "Elwin" Edwards
parents:
24
diff
changeset
|
266 inprogressdir = "%rinprogress/rogue3/" |
14
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
267 ttyrecdir = "%rttyrec/%n/rogue3/" |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
268 |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
269 # Don't do anything with rcfiles. Rogue has none. |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
270 |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
271 # Back up the savefile, just in case |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
272 commands = cp "/var/games/roguelike/rogue3save/%u-%n.r3sav" "%rbackup/%u-%n.r3sav.bak" |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
273 } |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
274 |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
275 # Rogue V4: just like it, but a little different |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
276 DEFINE { |
27 | 277 game_path = "/usr/bin/rogue4" |
14
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
278 game_name = "Rogue V4 (5.2)" |
51
566e37477b91
Rearrange dgamelaunch watch menu to accomodate 20-char player names.
John "Elwin" Edwards
parents:
48
diff
changeset
|
279 short_name = "RogueV4" |
14
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
280 |
27 | 281 game_args = "rogue4", "-n", "%n" |
25
dd72d2dd923f
Move the inprogress dirs into a single directory.
John "Elwin" Edwards
parents:
24
diff
changeset
|
282 inprogressdir = "%rinprogress/rogue4/" |
14
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
283 ttyrecdir = "%rttyrec/%n/rogue4/" |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
284 |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
285 commands = cp "/var/games/roguelike/rogue4save/%u-%n.r4sav" "%rbackup/%u-%n.r4sav.bak" |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
286 } |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
287 |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
288 # Rogue V5: a little more different from both |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
289 DEFINE { |
27 | 290 game_path = "/usr/bin/rogue5" |
14
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
291 game_name = "Rogue V5 (5.4)" |
51
566e37477b91
Rearrange dgamelaunch watch menu to accomodate 20-char player names.
John "Elwin" Edwards
parents:
48
diff
changeset
|
292 short_name = "RogueV5" |
14
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
293 |
27 | 294 game_args = "rogue5", "-n", "%n" |
25
dd72d2dd923f
Move the inprogress dirs into a single directory.
John "Elwin" Edwards
parents:
24
diff
changeset
|
295 inprogressdir = "%rinprogress/rogue5/" |
14
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
296 ttyrecdir = "%rttyrec/%n/rogue5/" |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
297 |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
298 commands = cp "/var/games/roguelike/rogue5save/%u-%n.r5sav" "%rbackup/%u-%n.r5sav.bak" |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
299 } |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
300 |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
301 # Super-Rogue: different? |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
302 DEFINE { |
27 | 303 game_path = "/usr/bin/srogue" |
14
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
304 game_name = "Super-Rogue" |
51
566e37477b91
Rearrange dgamelaunch watch menu to accomodate 20-char player names.
John "Elwin" Edwards
parents:
48
diff
changeset
|
305 short_name = "SRogue" |
14
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
306 |
27 | 307 game_args = "srogue", "-n", "%n" |
25
dd72d2dd923f
Move the inprogress dirs into a single directory.
John "Elwin" Edwards
parents:
24
diff
changeset
|
308 inprogressdir = "%rinprogress/srogue/" |
14
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
309 ttyrecdir = "%rttyrec/%n/srogue/" |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
310 |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
311 commands = cp "/var/games/roguelike/sroguesave/%u-%n.srsav" "%rbackup/%u-%n.srsav.bak" |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
312 } |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
313 |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
314 # Advanced Rogue 5: not different? |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
315 DEFINE { |
27 | 316 game_path = "/usr/bin/arogue5" |
14
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
317 game_name = "Advanced Rogue 5" |
51
566e37477b91
Rearrange dgamelaunch watch menu to accomodate 20-char player names.
John "Elwin" Edwards
parents:
48
diff
changeset
|
318 short_name = "ARogue5" |
14
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
319 |
27 | 320 game_args = "arogue5", "-n", "%n" |
25
dd72d2dd923f
Move the inprogress dirs into a single directory.
John "Elwin" Edwards
parents:
24
diff
changeset
|
321 inprogressdir = "%rinprogress/arogue5/" |
14
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
322 ttyrecdir = "%rttyrec/%n/arogue5/" |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
323 |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
324 commands = cp "/var/games/roguelike/arogue5save/%u-%n.ar5sav" "%rbackup/%u-%n.ar5sav.bak" |
9945b472aac2
Add dgamelaunch configuration to the project.
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff
changeset
|
325 } |
24
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
326 |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
327 |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
328 # Next, we'll define one game's data: |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
329 |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
330 #DEFINE { |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
331 # # From inside the jail, the location of the binary to be launched. |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
332 # game_path = "/bin/nethackstub" |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
333 # |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
334 # # Full name of the game |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
335 # game_name = "NetHack stub" |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
336 # |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
337 # # Short name, used in the watching menu |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
338 # short_name = "NHstb" |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
339 # |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
340 # # arguments for when we exec the binary |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
341 # game_args = "/bin/nethackstub", |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
342 # "foo", |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
343 # "user:%n", |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
344 # "shed_uid:%u", |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
345 # "bar" |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
346 # |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
347 # # From inside the jail, where dgamelaunch should put mail. |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
348 # spooldir = "/var/mail/" |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
349 # |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
350 # # From inside the jail, the default .nethackrc that is copied for new users. |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
351 # # rc_template = "/dgl-default-rcfile" |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
352 # |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
353 # # If player idles longer than max_idle_time seconds, the game will |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
354 # # receive a sighup. Default value is 0, which disables the idling timer. |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
355 # max_idle_time = 2000 |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
356 # |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
357 # # Player-specific path to an extra information file written by the game |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
358 # # The game should write the extra information on one line in this format: |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
359 # # <numeric-weight>|extra-information |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
360 # # For example, the game might write: "100|Astral", "1|D:1", etc. to indicate |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
361 # # where the player is in the game world. The numeric weight is used when |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
362 # # a spectator sorts games by the extra information field: higher weights |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
363 # # will be sorted to appear before lower weights. |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
364 # # |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
365 # extra_info_file = "%rgamedir/%n.extrainfo" |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
366 # |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
367 # # Make sure the inprogress dir actually exists. default is "inprogress/" |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
368 # # Each game you define here must have it's own. |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
369 # inprogressdir = "%rinprogress-nethackstub/" |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
370 # |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
371 # # We can also define per-game commands, that are executed |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
372 # # when the game starts: |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
373 # # commands = chdir "/dgldir", mkdir "foo_%u_%g" |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
374 # |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
375 # # We can also define per-game commands executed after the game ends, |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
376 # # but before commands[gameend] |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
377 # postcommands = chdir "/" |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
378 # |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
379 # # If the game uses an ancient encoding, you may specify "ibm" or "dec". |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
380 # # If set to "ask", the game will be run with --print-charset beforehand, |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
381 # # expected to return one of these values. |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
382 # encoding = "unicode" |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
383 #} |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
384 |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
385 |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
386 # |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
387 # the second game |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
388 # |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
389 # |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
390 |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
391 #DEFINE { |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
392 # game_path = "/nh343/nethack" |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
393 # game_name = "NetHack 3.4.3" |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
394 # short_name = "NH343" |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
395 # |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
396 # game_args = "/nh343/nethack", "-u", "%n" |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
397 # |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
398 # spooldir = "/mail/" |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
399 # rc_template = "/dgl-default-rcfile.nh343" |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
400 # |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
401 # rc_fmt = "%ruserdata/%n/%n.nh343rc" |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
402 # |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
403 # inprogressdir = "%rinprogress-nh343/" |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
404 # |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
405 ## The place where ttyrecs are stored for this game. |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
406 ## If this is not defined, ttyrecs are not saved for this game. |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
407 ## Leaving this undefined also means the games cannot be spectated. |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
408 # ttyrecdir = "%ruserdata/%n/ttyrec/" |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
409 # |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
410 # |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
411 # # back up savefile |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
412 # commands = cp "/nh343/var/save/%u%n.gz" "/nh343/var/save/%u%n.gz.bak", |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
413 # # set NETHACKOPTIONS to point to the rcfile |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
414 # setenv "NETHACKOPTIONS" "@%ruserdata/%n/%n.nh343rc", |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
415 # # set up nethack mail stuff, assuming it's compiled with it... |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
416 # setenv "MAIL" "/mail/%n", |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
417 # setenv "SIMPLEMAIL" "1", |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
418 # # don't let the mail file grow |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
419 # unlink "/mail/%n" |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
420 #} |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
421 |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
422 # |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
423 # third game |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
424 # |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
425 # |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
426 |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
427 #DEFINE { |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
428 # game_path = "/bin/crawlss017" |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
429 # game_name = "Crawl Stone Soup 0.1.7" |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
430 # short_name = "Cr017" |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
431 # |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
432 # game_args = "/bin/crawlss017", |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
433 # "-name", "%n", |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
434 # "-dir", "/crawlss017/", |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
435 # "-rc", "%rrcfiles/%n.crawlrc", |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
436 # "-morgue", "/crawlss017/morgues/", |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
437 # "-macro", "/crawlss017/macros/%n.macro" |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
438 # |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
439 # rc_template = "/dgl-default-rcfile.crawl" |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
440 # rc_fmt = "%rrcfiles/%n.crawlrc" |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
441 # inprogressdir = "%rinprogress-crawlss017/" |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
442 # encoding = ask |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
443 #} |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
444 |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
445 # |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
446 # fourth game |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
447 # |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
448 # |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
449 |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
450 #DEFINE { |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
451 # game_path = "/bin/crawlss020" |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
452 # game_name = "Crawl Stone Soup 0.2.0" |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
453 # short_name = "Cr020" |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
454 # |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
455 # game_args = "/bin/crawlss020", |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
456 # "-name", "%n", |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
457 # "-dir", "/crawlss020/", |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
458 # "-rc", "/crawlss020/plr/%n/%n.crawlrc", |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
459 # "-morgue", "/crawlss020/plr/%n/", |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
460 # "-macro", "/crawlss020/plr/%n/" |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
461 # |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
462 # rc_template = "/dgl-default-rcfile.crawl" |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
463 # rc_fmt = "/crawlss020/plr/%n/%n.crawlrc" |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
464 # inprogressdir = "%rinprogress-crawlss020/" |
ce26225f7d9d
Switch to the Git version of dgamelaunch.
John "Elwin" Edwards
parents:
15
diff
changeset
|
465 #} |