chiark / gitweb /
otter.git
4 years agomake subst more generic
Ian Jackson [Mon, 28 Dec 2020 19:34:04 +0000 (19:34 +0000)]
make subst more generic

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agorustc panics, probably due to syntax error
Ian Jackson [Mon, 28 Dec 2020 18:15:42 +0000 (18:15 +0000)]
rustc panics, probably due to syntax error

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoMake connection to server
Ian Jackson [Mon, 28 Dec 2020 18:12:51 +0000 (18:12 +0000)]
Make connection to server

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agomove cmd into mgmtchannel
Ian Jackson [Mon, 28 Dec 2020 17:58:08 +0000 (17:58 +0000)]
move cmd into mgmtchannel

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agomove MgmtChannel::connect to mgmtchannel.rs
Ian Jackson [Mon, 28 Dec 2020 17:52:42 +0000 (17:52 +0000)]
move MgmtChannel::connect to mgmtchannel.rs

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip synch
Ian Jackson [Mon, 28 Dec 2020 17:47:25 +0000 (17:47 +0000)]
wip synch

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoset timeouts
Ian Jackson [Mon, 28 Dec 2020 17:29:39 +0000 (17:29 +0000)]
set timeouts

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoadjust demo spec to fit on test server screen
Ian Jackson [Mon, 28 Dec 2020 17:01:02 +0000 (17:01 +0000)]
adjust demo spec to fit on test server screen

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoscreenshots
Ian Jackson [Mon, 28 Dec 2020 16:59:00 +0000 (16:59 +0000)]
screenshots

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip screenshots etc.
Ian Jackson [Mon, 28 Dec 2020 16:43:53 +0000 (16:43 +0000)]
wip screenshots etc.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agochange check_window_name
Ian Jackson [Mon, 28 Dec 2020 11:58:41 +0000 (11:58 +0000)]
change check_window_name

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoloads url in other window yay
Ian Jackson [Mon, 28 Dec 2020 01:42:17 +0000 (01:42 +0000)]
loads url in other window yay

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agobefore make Window not borrow Setup
Ian Jackson [Mon, 28 Dec 2020 00:42:15 +0000 (00:42 +0000)]
before make Window not borrow Setup

We want to borrow it mut so screenshot works
We need to not borrow it mut so you can have many windows

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip windows
Ian Jackson [Mon, 28 Dec 2020 00:32:16 +0000 (00:32 +0000)]
wip windows

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip FnMut thing
Ian Jackson [Sun, 27 Dec 2020 19:06:13 +0000 (19:06 +0000)]
wip FnMut thing

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoadd parking_lot
Ian Jackson [Sun, 27 Dec 2020 18:45:36 +0000 (18:45 +0000)]
add parking_lot

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoseems to add players
Ian Jackson [Sun, 27 Dec 2020 01:36:19 +0000 (01:36 +0000)]
seems to add players

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agosubst more wip
Ian Jackson [Sat, 26 Dec 2020 20:31:43 +0000 (20:31 +0000)]
subst more wip

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agosubst more
Ian Jackson [Sat, 26 Dec 2020 17:31:50 +0000 (17:31 +0000)]
subst more

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip subst more
Ian Jackson [Sat, 26 Dec 2020 17:19:45 +0000 (17:19 +0000)]
wip subst more

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoruns otter to create table
Ian Jackson [Sat, 26 Dec 2020 12:26:53 +0000 (12:26 +0000)]
runs otter to create table

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoscreenshotting etc.
Ian Jackson [Sat, 26 Dec 2020 11:31:28 +0000 (11:31 +0000)]
screenshotting etc.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoarrange to split log_config from config
Ian Jackson [Fri, 25 Dec 2020 18:05:13 +0000 (18:05 +0000)]
arrange to split log_config from config

Mostly to make debug better

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip sort out test case config
Ian Jackson [Fri, 25 Dec 2020 17:50:20 +0000 (17:50 +0000)]
wip sort out test case config

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip prepare game
Ian Jackson [Thu, 24 Dec 2020 22:01:47 +0000 (22:01 +0000)]
wip prepare game

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agodebug from wdt exe
Ian Jackson [Thu, 24 Dec 2020 01:28:39 +0000 (01:28 +0000)]
debug from wdt exe

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agouse logging
Ian Jackson [Thu, 24 Dec 2020 01:27:30 +0000 (01:27 +0000)]
use logging

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agologging
Ian Jackson [Thu, 24 Dec 2020 01:24:25 +0000 (01:24 +0000)]
logging

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agojust_warn
Ian Jackson [Thu, 24 Dec 2020 01:05:11 +0000 (01:05 +0000)]
just_warn

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip actually show a thing
Ian Jackson [Wed, 23 Dec 2020 18:32:38 +0000 (18:32 +0000)]
wip actually show a thing

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agostartup protocol
Ian Jackson [Wed, 23 Dec 2020 18:26:53 +0000 (18:26 +0000)]
startup protocol

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip startup protocol
Ian Jackson [Wed, 23 Dec 2020 18:21:21 +0000 (18:21 +0000)]
wip startup protocol

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agouse structopt for server args
Ian Jackson [Wed, 23 Dec 2020 18:12:56 +0000 (18:12 +0000)]
use structopt for server args

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoclarify messages
Ian Jackson [Wed, 23 Dec 2020 15:30:41 +0000 (15:30 +0000)]
clarify messages

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agonow our test daemon-otter starts up
Ian Jackson [Wed, 23 Dec 2020 15:26:21 +0000 (15:26 +0000)]
now our test daemon-otter starts up

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip dir handling
Ian Jackson [Wed, 23 Dec 2020 15:18:13 +0000 (15:18 +0000)]
wip dir handling

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoshow completions
Ian Jackson [Wed, 23 Dec 2020 14:47:43 +0000 (14:47 +0000)]
show completions

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agosort out pausing
Ian Jackson [Wed, 23 Dec 2020 14:39:16 +0000 (14:39 +0000)]
sort out pausing

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agosort out env some more, etc.
Ian Jackson [Wed, 23 Dec 2020 14:29:22 +0000 (14:29 +0000)]
sort out env some more, etc.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agonow test.png is nonempty
Ian Jackson [Wed, 23 Dec 2020 02:50:21 +0000 (02:50 +0000)]
now test.png is nonempty

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agostill nothing on the screen
Ian Jackson [Wed, 23 Dec 2020 02:35:44 +0000 (02:35 +0000)]
still nothing on the screen

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoretro makes it show
Ian Jackson [Wed, 23 Dec 2020 02:25:00 +0000 (02:25 +0000)]
retro makes it show

xwdtopnm < ../Build/server/tmp/wdt-simple/final.xwd  | gm display -

xwud and plain gm display don't work

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip trying to get a screenshot
Ian Jackson [Wed, 23 Dec 2020 02:22:33 +0000 (02:22 +0000)]
wip trying to get a screenshot

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip screenshots
Ian Jackson [Wed, 23 Dec 2020 02:03:03 +0000 (02:03 +0000)]
wip screenshots

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowell maybe it starts ff ?
Ian Jackson [Wed, 23 Dec 2020 01:50:55 +0000 (01:50 +0000)]
well maybe it starts ff ?

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agocloses fix it
Ian Jackson [Wed, 23 Dec 2020 01:43:03 +0000 (01:43 +0000)]
closes fix it

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agocleanup notify - not working
Ian Jackson [Wed, 23 Dec 2020 01:35:48 +0000 (01:35 +0000)]
cleanup notify - not working

I think I am bollixing up Command's own pipe with my pipe in the
pre-exec hook

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip cleanup notify
Ian Jackson [Wed, 23 Dec 2020 01:29:21 +0000 (01:29 +0000)]
wip cleanup notify

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agorun geckodriver
Ian Jackson [Wed, 23 Dec 2020 00:06:35 +0000 (00:06 +0000)]
run geckodriver

But we leak it

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agorefactor nfc, fix
Ian Jackson [Wed, 23 Dec 2020 00:06:22 +0000 (00:06 +0000)]
refactor nfc, fix

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agorefactor nfc except for messages
Ian Jackson [Tue, 22 Dec 2020 23:53:00 +0000 (23:53 +0000)]
refactor nfc except for messages

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoxvfb
Ian Jackson [Tue, 22 Dec 2020 23:34:24 +0000 (23:34 +0000)]
xvfb

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agox11rb dependency
Ian Jackson [Tue, 22 Dec 2020 23:26:06 +0000 (23:26 +0000)]
x11rb dependency

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agocargo update
Ian Jackson [Tue, 22 Dec 2020 23:25:32 +0000 (23:25 +0000)]
cargo update

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agokeepalive Xfvb
Ian Jackson [Tue, 22 Dec 2020 23:18:19 +0000 (23:18 +0000)]
keepalive Xfvb

We need -terminate because Xserver becomes its own pg or something.

Like this it fails, though, I think because the mere TCP connection
doesn't count.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agophased startup
Ian Jackson [Tue, 22 Dec 2020 23:10:56 +0000 (23:10 +0000)]
phased startup

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agocan run Xvfb
Ian Jackson [Tue, 22 Dec 2020 23:09:53 +0000 (23:09 +0000)]
can run Xvfb

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip Xvfb
Ian Jackson [Tue, 22 Dec 2020 23:05:40 +0000 (23:05 +0000)]
wip Xvfb

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip Xvfb
Ian Jackson [Tue, 22 Dec 2020 23:02:31 +0000 (23:02 +0000)]
wip Xvfb

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip tmpdir setup
Ian Jackson [Tue, 22 Dec 2020 22:33:22 +0000 (22:33 +0000)]
wip tmpdir setup

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip tmpdir setup
Ian Jackson [Tue, 22 Dec 2020 22:32:23 +0000 (22:32 +0000)]
wip tmpdir setup

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip simple test
Ian Jackson [Tue, 22 Dec 2020 21:35:14 +0000 (21:35 +0000)]
wip simple test

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agostructopt
Ian Jackson [Tue, 22 Dec 2020 21:08:10 +0000 (21:08 +0000)]
structopt

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoRevert "Attempt to build std docs locally"
Ian Jackson [Tue, 22 Dec 2020 20:50:21 +0000 (20:50 +0000)]
Revert "Attempt to build std docs locally"

This reverts commit 67ffb097dbee0bd689e3b6075ade2ed421db5723.

4 years agoAttempt to build std docs locally
Ian Jackson [Tue, 22 Dec 2020 20:49:41 +0000 (20:49 +0000)]
Attempt to build std docs locally

But it doesn't work, producing some broken links eg
  file://///home/rustcargo/Rustup/Game/server/target/doc/std_doc/std/str/index.html
link "the str primitive type" to
  file://///home/rustcargo/Rustup/Game/server/target/doc/std_doc/std/primitive.str.html

4 years agowdriver thing builds a dummy now
Ian Jackson [Tue, 22 Dec 2020 19:59:22 +0000 (19:59 +0000)]
wdriver thing builds a dummy now

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agogah cargo is so annoying
Ian Jackson [Tue, 22 Dec 2020 19:56:42 +0000 (19:56 +0000)]
gah cargo is so annoying

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agofound, trying to do build thing
Ian Jackson [Tue, 22 Dec 2020 19:41:14 +0000 (19:41 +0000)]
found, trying to do build thing

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agothirtyfour_sync wip tests
Ian Jackson [Sun, 20 Dec 2020 23:08:43 +0000 (23:08 +0000)]
thirtyfour_sync wip tests

Compiles, ready for actual code now I think.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agothirtyfour_sync wip tests
Ian Jackson [Sun, 20 Dec 2020 23:07:46 +0000 (23:07 +0000)]
thirtyfour_sync wip tests

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agothirtyfour_sync for tests
Ian Jackson [Sun, 20 Dec 2020 23:05:45 +0000 (23:05 +0000)]
thirtyfour_sync for tests

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip wdriver
Ian Jackson [Sun, 20 Dec 2020 19:55:33 +0000 (19:55 +0000)]
wip wdriver

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoupdate rand
Ian Jackson [Sun, 20 Dec 2020 22:36:43 +0000 (22:36 +0000)]
update rand

One fix

Promputed by "nailing-cargo -uo upgrades"

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoupdate nix
Ian Jackson [Sun, 20 Dec 2020 22:30:12 +0000 (22:30 +0000)]
update nix

Promputed by "nailing-cargo -uo upgrades"

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoupdate rmp-serde
Ian Jackson [Sun, 20 Dec 2020 22:27:10 +0000 (22:27 +0000)]
update rmp-serde

Promputed by "nailing-cargo -uo upgrades"

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoupdate some version
Ian Jackson [Sun, 20 Dec 2020 22:20:30 +0000 (22:20 +0000)]
update some version

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoupdate some version
Ian Jackson [Sun, 20 Dec 2020 22:19:39 +0000 (22:19 +0000)]
update some version

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agofix a "0" version
Ian Jackson [Sun, 20 Dec 2020 22:16:10 +0000 (22:16 +0000)]
fix a "0" version

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agocargo update
Ian Jackson [Sun, 20 Dec 2020 22:14:51 +0000 (22:14 +0000)]
cargo update

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agorand: Fix 0 to be real version
Ian Jackson [Sun, 20 Dec 2020 22:13:17 +0000 (22:13 +0000)]
rand: Fix 0 to be real version

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoREADME.md formatting and fixes
Ian Jackson [Sat, 12 Dec 2020 01:25:49 +0000 (01:25 +0000)]
README.md formatting and fixes

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoREADME.md formatting and fixes
Ian Jackson [Sat, 12 Dec 2020 01:17:15 +0000 (01:17 +0000)]
README.md formatting and fixes

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoTested build instructions and verbiage
Ian Jackson [Sat, 12 Dec 2020 00:59:35 +0000 (00:59 +0000)]
Tested build instructions and verbiage

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoIf bundle-rust-sources is from PATH, don't make it a dependency
Ian Jackson [Sat, 12 Dec 2020 00:10:57 +0000 (00:10 +0000)]
If bundle-rust-sources is from PATH, don't make it a dependency

Otherwise make complains that it can't build it.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoUse cargo's --target rather than nailing-cargo's -TWASM
Ian Jackson [Sat, 12 Dec 2020 00:10:35 +0000 (00:10 +0000)]
Use cargo's --target rather than nailing-cargo's -TWASM

This avoids a dependency on nailing-cargo

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoTest config, for use with README.md
Ian Jackson [Sat, 12 Dec 2020 00:10:23 +0000 (00:10 +0000)]
Test config, for use with README.md

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoMakefile: Do not try to bundle nonexistent other packages
Ian Jackson [Sat, 12 Dec 2020 00:08:54 +0000 (00:08 +0000)]
Makefile: Do not try to bundle nonexistent other packages

If the other package directories don't exist, do not try to use
bundle-sources on them.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoMakefile: Fix $(wildcard ) use to actually work
Ian Jackson [Sat, 12 Dec 2020 00:08:37 +0000 (00:08 +0000)]
Makefile: Fix $(wildcard ) use to actually work

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoAdd some test files to .gitignore
Ian Jackson [Sat, 12 Dec 2020 00:06:26 +0000 (00:06 +0000)]
Add some test files to .gitignore

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoPrint config when unable to scan save directory
Ian Jackson [Sat, 12 Dec 2020 00:05:12 +0000 (00:05 +0000)]
Print config when unable to scan save directory

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoREADME.md: Pretty much tested instructions
Ian Jackson [Sat, 12 Dec 2020 00:03:19 +0000 (00:03 +0000)]
README.md: Pretty much tested instructions

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoconfig etc.: avoid accessing the save path without locking it
Ian Jackson [Fri, 11 Dec 2020 23:25:20 +0000 (23:25 +0000)]
config etc.: avoid accessing the save path without locking it

We panic instead!

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoREADME.md: wip build and test instructions
Ian Jackson [Fri, 11 Dec 2020 22:58:33 +0000 (22:58 +0000)]
README.md: wip build and test instructions

Not yet finished

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agodrop an obsolete non-working test rune
Ian Jackson [Fri, 11 Dec 2020 22:57:08 +0000 (22:57 +0000)]
drop an obsolete non-working test rune

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agofix test config runes, rename
Ian Jackson [Fri, 11 Dec 2020 22:57:00 +0000 (22:57 +0000)]
fix test config runes, rename

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agofix test config runes
Ian Jackson [Fri, 11 Dec 2020 22:51:49 +0000 (22:51 +0000)]
fix test config runes

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agorename test config to reflect its use
Ian Jackson [Fri, 11 Dec 2020 22:50:39 +0000 (22:50 +0000)]
rename test config to reflect its use

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoonly remove tokens for this game!
Ian Jackson [Tue, 8 Dec 2020 17:42:24 +0000 (17:42 +0000)]
only remove tokens for this game!

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoincrease portal size
Ian Jackson [Tue, 8 Dec 2020 15:31:43 +0000 (15:31 +0000)]
increase portal size

Suggested-by: Simon Tatham <anakin@pobox.com>
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoadd SGT's missing copyright
Ian Jackson [Tue, 8 Dec 2020 14:04:53 +0000 (14:04 +0000)]
add SGT's missing copyright

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>