chiark / gitweb /
otter.git
4 years agowikimedia: Fix g/r/y knight item names
Ian Jackson [Sat, 26 Sep 2020 17:46:20 +0000 (18:46 +0100)]
wikimedia: Fix g/r/y knight item names

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowikimedia: Change group name
Ian Jackson [Sat, 26 Sep 2020 17:45:54 +0000 (18:45 +0100)]
wikimedia: Change group name

NFC

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowikimedia: Upgrade to CC-BY-SA-4.0
Ian Jackson [Sat, 26 Sep 2020 17:39:53 +0000 (18:39 +0100)]
wikimedia: Upgrade to CC-BY-SA-4.0

According to
  https://creativecommons.org/share-your-work/licensing-considerations/compatible-licenses/

CC-BY-SA-3.0 is compatible with CC-BY-SA 4.0.  So is GFDFL 1.3,
so relicenced things are fine too.

So we can upgrade our wikimedia downloads to CC-BY-SA 4.0.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agomany more files from wikimedia
Ian Jackson [Sat, 26 Sep 2020 17:28:38 +0000 (18:28 +0100)]
many more files from wikimedia

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agosort out chess piece geometry
Ian Jackson [Sat, 26 Sep 2020 16:43:30 +0000 (17:43 +0100)]
sort out chess piece geometry

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agomedia-scraper: Fix for new path arrangements, and re-scrape
Ian Jackson [Sat, 26 Sep 2020 16:33:05 +0000 (17:33 +0100)]
media-scraper: Fix for new path arrangements, and re-scrape

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agolibrary loading, warning message
Ian Jackson [Sat, 26 Sep 2020 16:24:59 +0000 (17:24 +0100)]
library loading, warning message

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agolibrary loading, fixes
Ian Jackson [Sat, 26 Sep 2020 16:19:04 +0000 (17:19 +0100)]
library loading, fixes

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agolibrary loading, fixes
Ian Jackson [Sat, 26 Sep 2020 16:16:55 +0000 (17:16 +0100)]
library loading, fixes

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agolibrary loading, fixes
Ian Jackson [Sat, 26 Sep 2020 16:10:40 +0000 (17:10 +0100)]
library loading, fixes

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agolibrary loading, compiles
Ian Jackson [Sat, 26 Sep 2020 15:53:14 +0000 (16:53 +0100)]
library loading, compiles

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agotidy up Cargo.toml a bit
Ian Jackson [Sat, 26 Sep 2020 13:15:22 +0000 (14:15 +0100)]
tidy up Cargo.toml a bit

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agocargo update
Ian Jackson [Sat, 26 Sep 2020 13:14:34 +0000 (14:14 +0100)]
cargo update

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoneed glob
Ian Jackson [Sat, 26 Sep 2020 13:09:54 +0000 (14:09 +0100)]
need glob

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoshapelib: wip, compiles, remove an xxx
Ian Jackson [Wed, 23 Sep 2020 22:11:35 +0000 (23:11 +0100)]
shapelib: wip, compiles, remove an xxx

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoshapelib: wip, compiles, an xxx
Ian Jackson [Wed, 23 Sep 2020 00:19:37 +0000 (01:19 +0100)]
shapelib: wip, compiles, an xxx

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoshapelib: wip, compiles
Ian Jackson [Wed, 23 Sep 2020 00:18:37 +0000 (01:18 +0100)]
shapelib: wip, compiles

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoupdate and switch to newer typetag
Ian Jackson [Tue, 22 Sep 2020 23:37:49 +0000 (00:37 +0100)]
update and switch to newer typetag

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoshapelib: wip, still does not compile
Ian Jackson [Tue, 22 Sep 2020 23:30:44 +0000 (00:30 +0100)]
shapelib: wip, still does not compile

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoshapelib: wip, still does not compile
Ian Jackson [Sun, 20 Sep 2020 22:51:03 +0000 (23:51 +0100)]
shapelib: wip, still does not compile

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowork around typetag limitation
Ian Jackson [Sun, 20 Sep 2020 22:45:17 +0000 (23:45 +0100)]
work around typetag limitation

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoshapelib: wip, still does not compile
Ian Jackson [Sun, 20 Sep 2020 22:27:02 +0000 (23:27 +0100)]
shapelib: wip, still does not compile

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoshapelib: wip, still does not compile
Ian Jackson [Sun, 20 Sep 2020 22:16:55 +0000 (23:16 +0100)]
shapelib: wip, still does not compile

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoshapelib: wip, still does not compile
Ian Jackson [Sun, 20 Sep 2020 21:16:50 +0000 (22:16 +0100)]
shapelib: wip, still does not compile

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoshapelib: wip, still does not compile
Ian Jackson [Sun, 20 Sep 2020 11:45:30 +0000 (12:45 +0100)]
shapelib: wip, still does not compile

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoSwitch to "delegate"
Ian Jackson [Sun, 20 Sep 2020 10:45:13 +0000 (11:45 +0100)]
Switch to "delegate"

I need the explict impl

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoAdd ambassador dependency
Ian Jackson [Sun, 20 Sep 2020 10:16:34 +0000 (11:16 +0100)]
Add ambassador dependency

"delegate" is more fine-grained, but for now I want the bigger hammer.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoshapelib: wip commentary about new arrangements, not at all done yet
Ian Jackson [Fri, 18 Sep 2020 22:53:44 +0000 (23:53 +0100)]
shapelib: wip commentary about new arrangements, not at all done yet

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip new piece records
Ian Jackson [Fri, 18 Sep 2020 22:37:00 +0000 (23:37 +0100)]
wip new piece records

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip shapelib impl Piece etc.
Ian Jackson [Fri, 18 Sep 2020 20:26:29 +0000 (21:26 +0100)]
wip shapelib impl Piece etc.

want to move Piece into a-* save files

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip shapelib impl Piece etc., does not build
Ian Jackson [Thu, 17 Sep 2020 00:54:59 +0000 (01:54 +0100)]
wip shapelib impl Piece etc., does not build

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip shapelib impl Piece etc., does not build
Ian Jackson [Thu, 17 Sep 2020 00:03:04 +0000 (01:03 +0100)]
wip shapelib impl Piece etc., does not build

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agomake shape libraries global
Ian Jackson [Wed, 16 Sep 2020 23:37:48 +0000 (00:37 +0100)]
make shape libraries global

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoshapelib: reformat struct nfc
Ian Jackson [Wed, 16 Sep 2020 23:03:47 +0000 (00:03 +0100)]
shapelib: reformat struct nfc

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agomake resolve_spec_face a method on Piece not PieceSpec
Ian Jackson [Wed, 16 Sep 2020 22:51:08 +0000 (23:51 +0100)]
make resolve_spec_face a method on Piece not PieceSpec

This will avoid recomputation for piece specs which are just a name.

NFC.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agonew shapelib can read a library toml
Ian Jackson [Wed, 16 Sep 2020 22:30:48 +0000 (23:30 +0100)]
new shapelib can read a library toml

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agonew shapelib builds
Ian Jackson [Wed, 16 Sep 2020 22:27:38 +0000 (23:27 +0100)]
new shapelib builds

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip new shapelib (build broken...)
Ian Jackson [Mon, 14 Sep 2020 01:23:24 +0000 (02:23 +0100)]
wip new shapelib (build broken...)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip new shapelib (build broken...)
Ian Jackson [Mon, 14 Sep 2020 00:58:25 +0000 (01:58 +0100)]
wip new shapelib (build broken...)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoSort out build a bit
Ian Jackson [Sun, 13 Sep 2020 23:31:10 +0000 (00:31 +0100)]
Sort out build a bit

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoSort out build a bit
Ian Jackson [Sun, 13 Sep 2020 22:59:15 +0000 (23:59 +0100)]
Sort out build a bit

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoRerun wikimedia scraper
Ian Jackson [Sun, 13 Sep 2020 22:57:38 +0000 (23:57 +0100)]
Rerun wikimedia scraper

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agolibrary generation
Ian Jackson [Sun, 13 Sep 2020 22:56:56 +0000 (23:56 +0100)]
library generation

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip library generation
Ian Jackson [Sun, 13 Sep 2020 22:46:50 +0000 (23:46 +0100)]
wip library generation

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agomedia-scraper: New arrangements good in scraper
Ian Jackson [Sun, 13 Sep 2020 22:14:53 +0000 (23:14 +0100)]
media-scraper: New arrangements good in scraper

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agomedia-scraper: fix makefile thing
Ian Jackson [Sun, 13 Sep 2020 22:10:38 +0000 (23:10 +0100)]
media-scraper: fix makefile thing

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agomedia-scraper: new arrangements
Ian Jackson [Sun, 13 Sep 2020 22:06:24 +0000 (23:06 +0100)]
media-scraper: new arrangements

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agomedia-scraper: make cfgs into subrefs
Ian Jackson [Sun, 13 Sep 2020 18:13:47 +0000 (19:13 +0100)]
media-scraper: make cfgs into subrefs

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agomedia-scraper: makefile fragment writer
Ian Jackson [Sun, 13 Sep 2020 17:14:34 +0000 (18:14 +0100)]
media-scraper: makefile fragment writer

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoScrape some initial wikimedia files
Ian Jackson [Sat, 12 Sep 2020 11:54:57 +0000 (12:54 +0100)]
Scrape some initial wikimedia files

Result of running
  ./media-scraper library/wikimedia.toml

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agomedia-scraper: Licence handling
Ian Jackson [Sat, 12 Sep 2020 12:46:53 +0000 (13:46 +0100)]
media-scraper: Licence handling

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoLICENCE: Document plan for shape libraries
Ian Jackson [Sat, 12 Sep 2020 12:13:34 +0000 (13:13 +0100)]
LICENCE: Document plan for shape libraries

There aren't any files like this now but there will be shortly.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoMakefile; wip arrangements re usvg
Ian Jackson [Sat, 12 Sep 2020 11:55:41 +0000 (12:55 +0100)]
Makefile; wip arrangements re usvg

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agomedia-scraper: wip
Ian Jackson [Wed, 9 Sep 2020 23:54:14 +0000 (00:54 +0100)]
media-scraper: wip

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agomedia-scraper: wip
Ian Jackson [Wed, 9 Sep 2020 23:31:49 +0000 (00:31 +0100)]
media-scraper: wip

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agomedia-scraper: wip
Ian Jackson [Wed, 9 Sep 2020 22:40:06 +0000 (23:40 +0100)]
media-scraper: wip

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agomedia-scraper: wip
Ian Jackson [Wed, 9 Sep 2020 22:35:58 +0000 (23:35 +0100)]
media-scraper: wip

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agomedia-scraper: wip
Ian Jackson [Wed, 9 Sep 2020 22:19:54 +0000 (23:19 +0100)]
media-scraper: wip

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoparse library file
Ian Jackson [Tue, 8 Sep 2020 23:34:54 +0000 (00:34 +0100)]
parse library file

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip library
Ian Jackson [Tue, 8 Sep 2020 22:34:07 +0000 (23:34 +0100)]
wip library

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoadd hashlink and work on Library
Ian Jackson [Tue, 8 Sep 2020 21:56:28 +0000 (22:56 +0100)]
add hashlink and work on Library

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agocargo update
Ian Jackson [Tue, 8 Sep 2020 21:55:18 +0000 (22:55 +0100)]
cargo update

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agodrop lexpr-rs from nail
Ian Jackson [Tue, 8 Sep 2020 18:00:23 +0000 (19:00 +0100)]
drop lexpr-rs from nail

We're not using this any more.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoupdate to vecdeque-stableix from cargo
Ian Jackson [Mon, 7 Sep 2020 20:27:07 +0000 (21:27 +0100)]
update to vecdeque-stableix from cargo

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoupdate to vecdeque-stableix 1.0.0
Ian Jackson [Mon, 7 Sep 2020 20:25:40 +0000 (21:25 +0100)]
update to vecdeque-stableix 1.0.0

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agowip deploy target
Ian Jackson [Mon, 7 Sep 2020 16:53:30 +0000 (17:53 +0100)]
wip deploy target

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agolicence files (tidying)
Ian Jackson [Mon, 7 Sep 2020 15:17:15 +0000 (16:17 +0100)]
licence files (tidying)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agolicence files (symlinks)
Ian Jackson [Mon, 7 Sep 2020 15:12:11 +0000 (16:12 +0100)]
licence files (symlinks)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agolicence file
Ian Jackson [Mon, 7 Sep 2020 15:11:48 +0000 (16:11 +0100)]
licence file

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agocross build arch alias for static binaries for chiark
Ian Jackson [Mon, 7 Sep 2020 15:11:35 +0000 (16:11 +0100)]
cross build arch alias for static binaries for chiark

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoadd usvg
Ian Jackson [Mon, 7 Sep 2020 00:10:36 +0000 (01:10 +0100)]
add usvg

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoabolish http module containg one impl
Ian Jackson [Sun, 6 Sep 2020 23:43:55 +0000 (00:43 +0100)]
abolish http module containg one impl

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agodone
Ian Jackson [Sun, 6 Sep 2020 23:40:26 +0000 (00:40 +0100)]
done

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agorename server to daemon-otter
Ian Jackson [Sun, 6 Sep 2020 23:39:56 +0000 (00:39 +0100)]
rename server to daemon-otter

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agorename to "otter"
Ian Jackson [Sun, 6 Sep 2020 23:38:16 +0000 (00:38 +0100)]
rename to "otter"

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agomore copyright
Ian Jackson [Sun, 6 Sep 2020 23:35:24 +0000 (00:35 +0100)]
more copyright

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoSPDX notices
Ian Jackson [Sun, 6 Sep 2020 23:31:59 +0000 (00:31 +0100)]
SPDX notices

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
4 years agoserve the source code
Ian Jackson [Sun, 6 Sep 2020 23:11:22 +0000 (00:11 +0100)]
serve the source code

4 years agocheck bundled_sources exist
Ian Jackson [Sun, 6 Sep 2020 23:07:04 +0000 (00:07 +0100)]
check bundled_sources exist

4 years agobundled_sources config
Ian Jackson [Sun, 6 Sep 2020 23:01:51 +0000 (00:01 +0100)]
bundled_sources config

4 years agofewer config lookup
Ian Jackson [Sun, 6 Sep 2020 23:01:23 +0000 (00:01 +0100)]
fewer config lookup

4 years agoenable Rocket static files
Ian Jackson [Sun, 6 Sep 2020 22:56:51 +0000 (23:56 +0100)]
enable Rocket static files

4 years agofix Makefile for bundle-sources
Ian Jackson [Sun, 6 Sep 2020 22:54:06 +0000 (23:54 +0100)]
fix Makefile for bundle-sources

4 years agoinclude Cargo.nail
Ian Jackson [Sun, 6 Sep 2020 22:30:59 +0000 (23:30 +0100)]
include Cargo.nail

4 years agowip bundle sources?
Ian Jackson [Sun, 6 Sep 2020 22:29:51 +0000 (23:29 +0100)]
wip bundle sources?

4 years agocargo update
Ian Jackson [Sun, 6 Sep 2020 22:01:25 +0000 (23:01 +0100)]
cargo update

4 years agoremove dummy save file from source tree
Ian Jackson [Sun, 6 Sep 2020 21:55:35 +0000 (22:55 +0100)]
remove dummy save file from source tree

4 years agofix debug
Ian Jackson [Sun, 6 Sep 2020 21:54:51 +0000 (22:54 +0100)]
fix debug

4 years agodone
Ian Jackson [Sun, 6 Sep 2020 21:54:47 +0000 (22:54 +0100)]
done

4 years agoDTRT if /_/updates is too old
Ian Jackson [Sun, 6 Sep 2020 21:38:44 +0000 (22:38 +0100)]
DTRT if /_/updates is too old

4 years agosome debug for revert
Ian Jackson [Sun, 6 Sep 2020 21:16:03 +0000 (22:16 +0100)]
some debug for revert

4 years agoupdates
Ian Jackson [Sun, 6 Sep 2020 21:15:42 +0000 (22:15 +0100)]
updates

4 years agohandle update reader buf overflow
Ian Jackson [Sun, 6 Sep 2020 20:16:40 +0000 (21:16 +0100)]
handle update reader buf overflow

4 years agoUpdateReaderWN
Ian Jackson [Sun, 6 Sep 2020 18:54:46 +0000 (19:54 +0100)]
UpdateReaderWN

4 years agoprat about with borrows to avoid a ref clone
Ian Jackson [Sun, 6 Sep 2020 18:20:48 +0000 (19:20 +0100)]
prat about with borrows to avoid a ref clone

4 years agobreak out write_next
Ian Jackson [Sun, 6 Sep 2020 18:04:11 +0000 (19:04 +0100)]
break out write_next

4 years agodebugging
Ian Jackson [Sun, 6 Sep 2020 13:13:51 +0000 (14:13 +0100)]
debugging

4 years agodebug wip
Ian Jackson [Sun, 6 Sep 2020 11:09:56 +0000 (12:09 +0100)]
debug wip

4 years agohtml
Ian Jackson [Sun, 6 Sep 2020 10:53:50 +0000 (11:53 +0100)]
html

4 years agosome todos
Ian Jackson [Sun, 6 Sep 2020 01:30:14 +0000 (02:30 +0100)]
some todos