chiark / gitweb /
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>
Ian Jackson [Sun, 29 Nov 2020 19:56:54 +0000 (19:56 +0000)]
handle RemovePlayer for others
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 28 Nov 2020 11:52:54 +0000 (11:52 +0000)]
handle AddPlayer
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 28 Nov 2020 11:49:26 +0000 (11:49 +0000)]
send updates for player add/remove
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 28 Nov 2020 11:08:35 +0000 (11:08 +0000)]
sort imports
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 28 Nov 2020 00:49:49 +0000 (00:49 +0000)]
improve the README slightly
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 28 Nov 2020 00:44:30 +0000 (00:44 +0000)]
improve the README following dependency rationalisation
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 28 Nov 2020 00:39:34 +0000 (00:39 +0000)]
Revert "wip split off daemon/, before revert"
This isn't actually so easy. In particular PieceSpec will cause a lot
of trouble. Also lots of dupes from filename completion.
So undo it all.
This reverts commit
7b6c42eb3e71ee3094009bf7c494ad4d68c88a23.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 28 Nov 2020 00:39:24 +0000 (00:39 +0000)]
wip split off daemon/, before revert
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 28 Nov 2020 00:17:18 +0000 (00:17 +0000)]
dedupe dependencies
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 28 Nov 2020 00:14:32 +0000 (00:14 +0000)]
break out otter-daemon into own crate
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 28 Nov 2020 00:06:35 +0000 (00:06 +0000)]
tidy up Cargo.lock
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 28 Nov 2020 00:02:29 +0000 (00:02 +0000)]
imports: fix style
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 28 Nov 2020 00:00:34 +0000 (00:00 +0000)]
drop unused type alias (and fix one mistaken reference to it)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 27 Nov 2020 23:59:45 +0000 (23:59 +0000)]
reformat imports
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 27 Nov 2020 23:57:53 +0000 (23:57 +0000)]
sort imports
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 27 Nov 2020 23:57:08 +0000 (23:57 +0000)]
drop unused imports
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 27 Nov 2020 23:54:39 +0000 (23:54 +0000)]
drop unused dependency on abandoned rental crate
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 27 Nov 2020 23:53:36 +0000 (23:53 +0000)]
shapelib: Drop some spurious whitespace
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 27 Nov 2020 23:53:18 +0000 (23:53 +0000)]
shapelib: Use parking_lot, not rental
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 27 Nov 2020 23:29:46 +0000 (23:29 +0000)]
sort dependencies
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 27 Nov 2020 23:28:51 +0000 (23:28 +0000)]
drop unused hashlink dependency
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 27 Nov 2020 23:25:49 +0000 (23:25 +0000)]
upstream flexi_logger
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 27 Nov 2020 23:16:17 +0000 (23:16 +0000)]
look at Cargo.lock.example for Makefile too
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 27 Nov 2020 23:16:10 +0000 (23:16 +0000)]
general cargo update
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 27 Nov 2020 23:13:31 +0000 (23:13 +0000)]
upstream rocket!
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 27 Nov 2020 23:11:48 +0000 (23:11 +0000)]
upstream rocket!
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 27 Nov 2020 22:34:30 +0000 (22:34 +0000)]
get rid of the blueification div which doesn't work
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 27 Nov 2020 22:24:53 +0000 (22:24 +0000)]
record what is deployed (fix)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 27 Nov 2020 22:22:40 +0000 (22:22 +0000)]
fix switch to portrait
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 27 Nov 2020 22:22:29 +0000 (22:22 +0000)]
record what is deployed
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 27 Nov 2020 22:20:05 +0000 (22:20 +0000)]
make switch to portrait view workc
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 27 Nov 2020 20:56:13 +0000 (20:56 +0000)]
table_colour in game state
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 27 Nov 2020 20:51:17 +0000 (20:51 +0000)]
quieten highlighting for only grasp/ungrasp
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 27 Nov 2020 20:48:00 +0000 (20:48 +0000)]
highlight more changes
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 27 Nov 2020 20:40:04 +0000 (20:40 +0000)]
fix title
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 27 Nov 2020 20:37:06 +0000 (20:37 +0000)]
fixes done
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 27 Nov 2020 19:44:48 +0000 (19:44 +0000)]
look up player (!)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 27 Nov 2020 01:28:22 +0000 (01:28 +0000)]
layout wip and also a todo
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 27 Nov 2020 00:55:09 +0000 (00:55 +0000)]
support /p too
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 27 Nov 2020 00:47:58 +0000 (00:47 +0000)]
last log timestamp progation from session.rs to script.ts
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 27 Nov 2020 00:40:45 +0000 (00:40 +0000)]
old log abbrev timestamps
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 27 Nov 2020 00:21:47 +0000 (00:21 +0000)]
fixed some bugs earlier
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 26 Nov 2020 22:02:23 +0000 (22:02 +0000)]
layout - todo
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 26 Nov 2020 22:02:15 +0000 (22:02 +0000)]
abbrev timestamps - todos
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 26 Nov 2020 21:59:20 +0000 (21:59 +0000)]
abbrev timestamps of added messages
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 26 Nov 2020 21:35:57 +0000 (21:35 +0000)]
wip timestamp_abbreviate
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 26 Nov 2020 21:32:13 +0000 (21:32 +0000)]
wip timestamp_abbreviate
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 26 Nov 2020 21:21:32 +0000 (21:21 +0000)]
fix scroll
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 26 Nov 2020 21:13:38 +0000 (21:13 +0000)]
wip try to fix scroll
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 26 Nov 2020 20:03:09 +0000 (20:03 +0000)]
fix width thing
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 26 Nov 2020 19:34:46 +0000 (19:34 +0000)]
fix footer styling
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
~ianmdlvl / otter.git / log