chiark / gitweb /
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
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>
Ian Jackson [Tue, 8 Dec 2020 14:01:32 +0000 (14:01 +0000)]
git push after deploy
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Tue, 8 Dec 2020 13:58:52 +0000 (13:58 +0000)]
add pieces (and run media-scraper)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Tue, 8 Dec 2020 13:58:19 +0000 (13:58 +0000)]
media-scraper: a couple of todos from recent experience
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Tue, 8 Dec 2020 13:57:03 +0000 (13:57 +0000)]
portal pieces: rename files to add chess- to names
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Tue, 8 Dec 2020 13:48:45 +0000 (13:48 +0000)]
portal pieces: rename font to make resvg happy
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Tue, 8 Dec 2020 13:45:50 +0000 (13:45 +0000)]
portal pieces: rename files according to item naming scheme
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Simon Tatham [Tue, 8 Dec 2020 12:47:57 +0000 (12:47 +0000)]
Piece shapes representing portals.
Intended for use in fairy-chess context, so there are two colours
of portal per player in a chess game. Colours are also labelled
as letters in case of colour vision issues.
Signed-off-by: Simon Tatham <anakin@pobox.com>
Ian Jackson [Sun, 6 Dec 2020 02:06:20 +0000 (02:06 +0000)]
formatting, some from rustfmt (manually picked)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 6 Dec 2020 02:02:33 +0000 (02:02 +0000)]
add missing copyright etc. header to wasm.rs
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 6 Dec 2020 02:00:41 +0000 (02:00 +0000)]
add missing copyright etc. header to wasm.rs
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 6 Dec 2020 01:59:41 +0000 (01:59 +0000)]
add missing copyright etc. header to wasm.rs
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 6 Dec 2020 01:59:12 +0000 (01:59 +0000)]
formatting, some from rustfmt (manually picked)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 6 Dec 2020 01:58:23 +0000 (01:58 +0000)]
formatting, some from rustfmt (manually picked)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 6 Dec 2020 01:55:38 +0000 (01:55 +0000)]
formatting, some from rustfmt (manually picked)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 6 Dec 2020 01:54:34 +0000 (01:54 +0000)]
add missing copyright etc. header to wasm.rs
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 6 Dec 2020 01:53:00 +0000 (01:53 +0000)]
formatting, some from rustfmt (manually picked)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 6 Dec 2020 01:50:29 +0000 (01:50 +0000)]
formatting, some from rustfmt (manually picked)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 6 Dec 2020 01:50:02 +0000 (01:50 +0000)]
formatting, some from rustfmt (manually picked)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 6 Dec 2020 01:44:23 +0000 (01:44 +0000)]
formatting, some from rustfmt (manually picked)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 6 Dec 2020 01:31:20 +0000 (01:31 +0000)]
formatting, some from rustfmt (manually picked)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 6 Dec 2020 01:30:25 +0000 (01:30 +0000)]
formatting, some from rustfmt (manually picked)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 6 Dec 2020 01:29:30 +0000 (01:29 +0000)]
formatting, some from rustfmt (manually picked)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 6 Dec 2020 01:27:14 +0000 (01:27 +0000)]
formatting, some from rustfmt (manually picked)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 6 Dec 2020 01:24:52 +0000 (01:24 +0000)]
formatting, some from rustfmt (manually picked)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 6 Dec 2020 01:23:13 +0000 (01:23 +0000)]
formatting, some from rustfmt (manually picked)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 6 Dec 2020 01:21:48 +0000 (01:21 +0000)]
formatting, some from rustfmt (manually picked)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 6 Dec 2020 01:19:22 +0000 (01:19 +0000)]
formatting, some from rustfmt (manually picked)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 6 Dec 2020 01:18:12 +0000 (01:18 +0000)]
formatting, some from rustfmt (manually picked)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 6 Dec 2020 01:16:59 +0000 (01:16 +0000)]
formatting, some from rustfmt (manually picked)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 6 Dec 2020 01:15:13 +0000 (01:15 +0000)]
formatting, some from rustfmt (manually picked)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 6 Dec 2020 01:14:04 +0000 (01:14 +0000)]
formatting, some from rustfmt (manually picked)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 6 Dec 2020 01:05:25 +0000 (01:05 +0000)]
formatting, some from rustfmt (manually picked)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 6 Dec 2020 01:02:53 +0000 (01:02 +0000)]
formatting, some from rustfmt (manually picked)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 6 Dec 2020 00:59:09 +0000 (00:59 +0000)]
formatting, some from rustfmt (manually picked)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 6 Dec 2020 00:58:36 +0000 (00:58 +0000)]
formatting, some from rustfmt (manually picked)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 6 Dec 2020 00:56:50 +0000 (00:56 +0000)]
formatting, some from rustfmt (manually picked)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 6 Dec 2020 00:56:43 +0000 (00:56 +0000)]
formatting, some from rustfmt (manually picked)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 6 Dec 2020 00:50:02 +0000 (00:50 +0000)]
formatting, some from rustfmt (manually picked)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 6 Dec 2020 00:42:42 +0000 (00:42 +0000)]
formatting, some from rustfmt (manually picked)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 6 Dec 2020 00:41:56 +0000 (00:41 +0000)]
formatting, some from rustfmt (manually picked)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 6 Dec 2020 00:40:58 +0000 (00:40 +0000)]
formatting, some from rustfmt (manually picked)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 6 Dec 2020 00:34:12 +0000 (00:34 +0000)]
formatting, some from rustfmt (manually picked)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 6 Dec 2020 00:29:34 +0000 (00:29 +0000)]
formatting, some from rustfmt (manually picked)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 6 Dec 2020 00:25:21 +0000 (00:25 +0000)]
formatting, some from rustfmt (manually picked)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 6 Dec 2020 00:21:21 +0000 (00:21 +0000)]
formatting, some from rustfmt (manually picked)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 6 Dec 2020 00:20:46 +0000 (00:20 +0000)]
formatting, some from rustfmt (manually picked)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 6 Dec 2020 00:19:58 +0000 (00:19 +0000)]
formatting, some from rustfmt (manually picked)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 6 Dec 2020 00:17:28 +0000 (00:17 +0000)]
formatting
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 6 Dec 2020 00:16:32 +0000 (00:16 +0000)]
formatting, some from rustfmt (manually picked)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 6 Dec 2020 00:15:04 +0000 (00:15 +0000)]
formatting, some from rustfmt (manually picked)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 6 Dec 2020 00:08:54 +0000 (00:08 +0000)]
formatting
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 6 Dec 2020 00:05:47 +0000 (00:05 +0000)]
formatting
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 6 Dec 2020 00:04:50 +0000 (00:04 +0000)]
formatting, mostly from rustfmt (manually picked)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 5 Dec 2020 23:58:09 +0000 (23:58 +0000)]
formatting, mostly from rustfmt (manually picked)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 5 Dec 2020 23:50:09 +0000 (23:50 +0000)]
formatting, mostly from rustfmt (manually picked)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 5 Dec 2020 23:43:20 +0000 (23:43 +0000)]
formatting, mostly from rustfmt (manually picked)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 5 Dec 2020 23:28:00 +0000 (23:28 +0000)]
formatting, mostly from rustfmt (manually picked)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 5 Dec 2020 23:21:42 +0000 (23:21 +0000)]
edit rustfmt file
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 5 Dec 2020 23:17:33 +0000 (23:17 +0000)]
initial rustfmt file
This still does not produce nice results. I may hunt through the
edits to see anything I want to keep.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 5 Dec 2020 17:16:08 +0000 (17:16 +0000)]
do not encode - in account names
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 5 Dec 2020 17:05:58 +0000 (17:05 +0000)]
set return-path
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 5 Dec 2020 17:02:43 +0000 (17:02 +0000)]
email tokens, fixes
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 5 Dec 2020 16:56:46 +0000 (16:56 +0000)]
email tokens, fixes
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 5 Dec 2020 16:42:02 +0000 (16:42 +0000)]
email tokens, fixes
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 5 Dec 2020 15:45:02 +0000 (15:45 +0000)]
fix typo
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
~ianmdlvl / otter.git / log