chiark / gitweb /
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>
Ian Jackson [Sat, 5 Dec 2020 15:38:17 +0000 (15:38 +0000)]
abolish now-unused error nfc
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 5 Dec 2020 15:35:40 +0000 (15:35 +0000)]
always make tokens
If we are asked to "redeliver" a token but there isn't one, make one
up. So now conceptually you have tokens for all your games even if
you don't know what they are yet.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 5 Dec 2020 15:35:11 +0000 (15:35 +0000)]
wip always make tokens: refactor nfc
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 5 Dec 2020 15:33:19 +0000 (15:33 +0000)]
wip always make tokens: minor refactor nfc
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 5 Dec 2020 14:56:21 +0000 (14:56 +0000)]
wip email templates etc.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 5 Dec 2020 14:54:12 +0000 (14:54 +0000)]
wip email templates etc.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 5 Dec 2020 14:16:44 +0000 (14:16 +0000)]
wip email templates etc.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 5 Dec 2020 11:12:26 +0000 (11:12 +0000)]
get_or_try_insert_with, but actually we're not going to use it
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 5 Dec 2020 10:58:35 +0000 (10:58 +0000)]
tempfile dependency
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 5 Dec 2020 10:57:59 +0000 (10:57 +0000)]
wip email templates etc.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 5 Dec 2020 00:03:26 +0000 (00:03 +0000)]
wip email templates etc.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 30 Nov 2020 19:13:08 +0000 (19:13 +0000)]
fancier clean target
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 30 Nov 2020 19:08:02 +0000 (19:08 +0000)]
Revert "Provide /_/README.md too"
Actually this was a bug in bundling
This reverts commit
f2a6cbc9ac0172be38ba0e6573278400c0b09d93.
Ian Jackson [Mon, 30 Nov 2020 19:07:09 +0000 (19:07 +0000)]
fix source bundling
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 30 Nov 2020 18:41:13 +0000 (18:41 +0000)]
mkdir -p for bundled-sources
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 30 Nov 2020 18:37:42 +0000 (18:37 +0000)]
Provide /_/README.md too
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 30 Nov 2020 18:37:09 +0000 (18:37 +0000)]
Revert "break out otter-daemon into own crate"
We reverted most of this, now do the rest too.
This reverts commit
1d4f8f10aaeb9f613688285cd8600646b19d2faf.
Ian Jackson [Mon, 30 Nov 2020 18:34:04 +0000 (18:34 +0000)]
make things clean
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 30 Nov 2020 11:28:15 +0000 (11:28 +0000)]
work around firefox GetScreenCTM bug
Well this is a bodge!
https://bugzilla.mozilla.org/show_bug.cgi?id=
1610093
https://bugzilla.mozilla.org/show_bug.cgi?id=972041
https://bugzilla.mozilla.org/show_bug.cgi?id=
1446011
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 30 Nov 2020 00:05:39 +0000 (00:05 +0000)]
fix span
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 30 Nov 2020 00:03:08 +0000 (00:03 +0000)]
zoom button
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 29 Nov 2020 23:33:50 +0000 (23:33 +0000)]
wip zoom
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 29 Nov 2020 22:45:32 +0000 (22:45 +0000)]
change formatting a bit
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 29 Nov 2020 21:18:48 +0000 (21:18 +0000)]
penultima: adjust colours
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 29 Nov 2020 21:18:37 +0000 (21:18 +0000)]
allow setting of the table colour
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 29 Nov 2020 21:03:22 +0000 (21:03 +0000)]
use active voice, saying who set table size
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 29 Nov 2020 20:59:04 +0000 (20:59 +0000)]
make it obvious when new fields are added
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 29 Nov 2020 20:00:24 +0000 (20:00 +0000)]
better handling for leave game
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
~ianmdlvl / otter.git / log