chiark / gitweb /
hippotat.git
2 years agoconfig: Substutiton, improve docs
Ian Jackson [Sun, 25 Jul 2021 18:29:10 +0000 (19:29 +0100)]
config: Substutiton, improve docs

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoconfig: Refactor substutiton
Ian Jackson [Sun, 25 Jul 2021 18:26:56 +0000 (19:26 +0100)]
config: Refactor substutiton

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agosubstitutions in string values
Ian Jackson [Sun, 25 Jul 2021 17:43:32 +0000 (18:43 +0100)]
substitutions in string values

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoChange InstanceConfig to have a LinkName
Ian Jackson [Sun, 25 Jul 2021 17:44:03 +0000 (18:44 +0100)]
Change InstanceConfig to have a LinkName

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoDump config to debug on startup
Ian Jackson [Sun, 25 Jul 2021 17:43:52 +0000 (18:43 +0100)]
Dump config to debug on startup

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoREADME.config: fix a typo of `rnets`
Ian Jackson [Sun, 25 Jul 2021 17:43:37 +0000 (18:43 +0100)]
README.config: fix a typo of `rnets`

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoconfig: Add missing ' ' around %(rnets)s
Ian Jackson [Sun, 25 Jul 2021 17:07:35 +0000 (18:07 +0100)]
config: Add missing ' ' around %(rnets)s

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agomove InstanceConfig to prominently at the top of config.rs
Ian Jackson [Sun, 25 Jul 2021 17:04:44 +0000 (18:04 +0100)]
move InstanceConfig to prominently at the top of config.rs

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agowip client etc.
Ian Jackson [Sun, 25 Jul 2021 12:30:45 +0000 (13:30 +0100)]
wip client etc.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agowip client etc.
Ian Jackson [Sun, 25 Jul 2021 11:21:43 +0000 (12:21 +0100)]
wip client etc.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoturn on more hyper features
Ian Jackson [Sat, 24 Jul 2021 23:18:58 +0000 (00:18 +0100)]
turn on more hyper features

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agowip client (notes)
Ian Jackson [Sat, 24 Jul 2021 23:18:06 +0000 (00:18 +0100)]
wip client (notes)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoconfig: remove some xxxs
Ian Jackson [Sat, 24 Jul 2021 19:26:43 +0000 (20:26 +0100)]
config: remove some xxxs

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoconfig: check key sections
Ian Jackson [Sat, 24 Jul 2021 18:55:55 +0000 (19:55 +0100)]
config: check key sections

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoconfig: fix vnetwork setting in defaults(!)
Ian Jackson [Sat, 24 Jul 2021 18:55:45 +0000 (19:55 +0100)]
config: fix vnetwork setting in defaults(!)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoconfig: better display
Ian Jackson [Sat, 24 Jul 2021 18:49:13 +0000 (19:49 +0100)]
config: better display

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoconfig: wip defaulting
Ian Jackson [Sat, 24 Jul 2021 18:38:57 +0000 (19:38 +0100)]
config: wip defaulting

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoconfig: wip config completion
Ian Jackson [Sat, 24 Jul 2021 18:02:58 +0000 (19:02 +0100)]
config: wip config completion

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoconfig: fix some reporting
Ian Jackson [Sat, 24 Jul 2021 18:02:50 +0000 (19:02 +0100)]
config: fix some reporting

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoconfig: dequote things
Ian Jackson [Sat, 24 Jul 2021 18:02:42 +0000 (19:02 +0100)]
config: dequote things

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoconfig: fix client/server-specific parsing
Ian Jackson [Sat, 24 Jul 2021 18:02:25 +0000 (19:02 +0100)]
config: fix client/server-specific parsing

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoconfig: fix some reporting
Ian Jackson [Sat, 24 Jul 2021 18:01:41 +0000 (19:01 +0100)]
config: fix some reporting

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoconfig: filter out some debug
Ian Jackson [Sat, 24 Jul 2021 18:01:31 +0000 (19:01 +0100)]
config: filter out some debug

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoconfig: fix Vec parsing
Ian Jackson [Sat, 24 Jul 2021 18:01:19 +0000 (19:01 +0100)]
config: fix Vec parsing

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoconfig parsing
Ian Jackson [Sat, 24 Jul 2021 17:27:27 +0000 (18:27 +0100)]
config parsing

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoidentify links
Ian Jackson [Sat, 24 Jul 2021 17:17:58 +0000 (18:17 +0100)]
identify links

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoidentify links before away from trait again?
Ian Jackson [Sat, 24 Jul 2021 16:27:27 +0000 (17:27 +0100)]
identify links before away from trait again?

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoconfig: Get rid of Default
Ian Jackson [Sat, 24 Jul 2021 15:35:59 +0000 (16:35 +0100)]
config: Get rid of Default

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoconfig: Load builtin defaults
Ian Jackson [Sat, 24 Jul 2021 14:32:31 +0000 (15:32 +0100)]
config: Load builtin defaults

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoconfig: Tidy defaults and move some info to README.config
Ian Jackson [Sat, 24 Jul 2021 14:30:47 +0000 (15:30 +0100)]
config: Tidy defaults and move some info to README.config

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoconfig: Copy defaults from python hippotat
Ian Jackson [Sat, 24 Jul 2021 14:28:03 +0000 (15:28 +0100)]
config: Copy defaults from python hippotat

Directly copied from d5100ea6b9bb1d0d858c5475469f9cc4e3200b3a

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoconfig: Break out read_file
Ian Jackson [Sat, 24 Jul 2021 14:27:56 +0000 (15:27 +0100)]
config: Break out read_file

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoconfig: Fix error reporting
Ian Jackson [Sat, 24 Jul 2021 14:23:07 +0000 (15:23 +0100)]
config: Fix error reporting

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoconfig: Move server_name
Ian Jackson [Sat, 24 Jul 2021 13:57:58 +0000 (14:57 +0100)]
config: Move server_name

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoconfig: Move lookup_raw
Ian Jackson [Sat, 24 Jul 2021 13:50:47 +0000 (14:50 +0100)]
config: Move lookup_raw

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoconfig: move LinkEnd
Ian Jackson [Sat, 24 Jul 2021 13:47:31 +0000 (14:47 +0100)]
config: move LinkEnd

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoconfig
Ian Jackson [Sat, 24 Jul 2021 13:42:21 +0000 (14:42 +0100)]
config

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoconfig
Ian Jackson [Sat, 24 Jul 2021 12:52:36 +0000 (13:52 +0100)]
config

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoconfig
Ian Jackson [Sat, 24 Jul 2021 12:50:40 +0000 (13:50 +0100)]
config

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoconfig, centralise "value needed"
Ian Jackson [Sat, 24 Jul 2021 12:49:10 +0000 (13:49 +0100)]
config, centralise "value needed"

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoconfig, wip parsing, secret
Ian Jackson [Sat, 24 Jul 2021 12:44:01 +0000 (13:44 +0100)]
config, wip parsing, secret

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoconfig, wip parsing
Ian Jackson [Sat, 24 Jul 2021 12:39:23 +0000 (13:39 +0100)]
config, wip parsing

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoconfig, wip parsing
Ian Jackson [Sat, 24 Jul 2021 12:32:31 +0000 (13:32 +0100)]
config, wip parsing

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoconfig, wip parsing
Ian Jackson [Sat, 24 Jul 2021 12:14:35 +0000 (13:14 +0100)]
config, wip parsing

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoconfig, wip parsing
Ian Jackson [Sat, 24 Jul 2021 11:56:54 +0000 (12:56 +0100)]
config, wip parsing

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoconfig, wip macro, spans
Ian Jackson [Sat, 24 Jul 2021 11:51:13 +0000 (12:51 +0100)]
config, wip macro, spans

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoconfig, wip macro, spans
Ian Jackson [Sat, 24 Jul 2021 11:39:21 +0000 (12:39 +0100)]
config, wip macro, spans

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoconfig, wip macro, generete fields with SKLs
Ian Jackson [Sat, 24 Jul 2021 11:34:45 +0000 (12:34 +0100)]
config, wip macro, generete fields with SKLs

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoconfig, wip macro, generetes some code
Ian Jackson [Sat, 24 Jul 2021 11:32:44 +0000 (12:32 +0100)]
config, wip macro, generetes some code

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoconfig, wip macro
Ian Jackson [Sat, 24 Jul 2021 11:15:38 +0000 (12:15 +0100)]
config, wip macro

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoconfig, wip macro
Ian Jackson [Sat, 24 Jul 2021 11:14:15 +0000 (12:14 +0100)]
config, wip macro

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoconfig, wip macro
Ian Jackson [Sat, 24 Jul 2021 11:10:05 +0000 (12:10 +0100)]
config, wip macro

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoconfig, wip macro
Ian Jackson [Sat, 24 Jul 2021 11:04:14 +0000 (12:04 +0100)]
config, wip macro

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoconfig, break out var section list
Ian Jackson [Sat, 24 Jul 2021 10:14:51 +0000 (11:14 +0100)]
config, break out var section list

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoconfig, wip before break out var section list
Ian Jackson [Sat, 24 Jul 2021 09:54:13 +0000 (10:54 +0100)]
config, wip before break out var section list

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agomacros wip
Ian Jackson [Sat, 24 Jul 2021 01:03:15 +0000 (02:03 +0100)]
macros wip

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agomacros wip
Ian Jackson [Sat, 24 Jul 2021 00:55:25 +0000 (01:55 +0100)]
macros wip

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agomacros skeleton
Ian Jackson [Sat, 24 Jul 2021 00:31:57 +0000 (01:31 +0100)]
macros skeleton

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agowip resolve, comment out for macro work, for revert
Ian Jackson [Sat, 24 Jul 2021 00:15:04 +0000 (01:15 +0100)]
wip resolve, comment out for macro work, for revert

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agowip resolve
Ian Jackson [Sat, 24 Jul 2021 00:14:56 +0000 (01:14 +0100)]
wip resolve

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agowip resolve
Ian Jackson [Sat, 24 Jul 2021 00:12:20 +0000 (01:12 +0100)]
wip resolve

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agowip resolve
Ian Jackson [Sat, 24 Jul 2021 00:04:56 +0000 (01:04 +0100)]
wip resolve

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agowip resolve
Ian Jackson [Fri, 23 Jul 2021 23:57:11 +0000 (00:57 +0100)]
wip resolve

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agowip resolve
Ian Jackson [Fri, 23 Jul 2021 23:33:45 +0000 (00:33 +0100)]
wip resolve

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agodocument and parse limit section headings
Ian Jackson [Fri, 23 Jul 2021 22:42:20 +0000 (23:42 +0100)]
document and parse limit section headings

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agowip parsing, tolerate hyphens in config
Ian Jackson [Fri, 23 Jul 2021 22:32:52 +0000 (23:32 +0100)]
wip parsing, tolerate hyphens in config

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agowip parsing, record loc
Ian Jackson [Fri, 23 Jul 2021 22:29:48 +0000 (23:29 +0100)]
wip parsing, record loc

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agowip parsing, record loc
Ian Jackson [Fri, 23 Jul 2021 22:28:10 +0000 (23:28 +0100)]
wip parsing, record loc

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agowip parsing
Ian Jackson [Fri, 23 Jul 2021 22:17:32 +0000 (23:17 +0100)]
wip parsing

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agowip parsing
Ian Jackson [Fri, 23 Jul 2021 22:15:15 +0000 (23:15 +0100)]
wip parsing

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agowip parsing
Ian Jackson [Fri, 23 Jul 2021 22:10:33 +0000 (23:10 +0100)]
wip parsing

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agowip parsing
Ian Jackson [Fri, 23 Jul 2021 21:58:13 +0000 (22:58 +0100)]
wip parsing

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agowip parsing, shuffle
Ian Jackson [Fri, 23 Jul 2021 21:23:30 +0000 (22:23 +0100)]
wip parsing, shuffle

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agowip parsing
Ian Jackson [Fri, 23 Jul 2021 21:12:34 +0000 (22:12 +0100)]
wip parsing

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agowip parsing
Ian Jackson [Fri, 23 Jul 2021 18:44:16 +0000 (19:44 +0100)]
wip parsing

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoREADME.config: Further restrict server name
Ian Jackson [Fri, 23 Jul 2021 18:44:06 +0000 (19:44 +0100)]
README.config: Further restrict server name

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoREADME.config: fix to match Python implementation
Ian Jackson [Fri, 23 Jul 2021 18:43:49 +0000 (19:43 +0100)]
README.config: fix to match Python implementation

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agowip impl config reading, runs
Ian Jackson [Fri, 23 Jul 2021 11:54:02 +0000 (12:54 +0100)]
wip impl config reading, runs

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agowip impl config reading, compiles
Ian Jackson [Fri, 23 Jul 2021 11:46:03 +0000 (12:46 +0100)]
wip impl config reading, compiles

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agowip impl config reading
Ian Jackson [Fri, 23 Jul 2021 10:01:31 +0000 (11:01 +0100)]
wip impl config reading

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoREADME.config: clarifications
Ian Jackson [Fri, 23 Jul 2021 10:01:16 +0000 (11:01 +0100)]
README.config: clarifications

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agowip optiona nnd config parser
Ian Jackson [Wed, 21 Jul 2021 22:38:43 +0000 (23:38 +0100)]
wip optiona nnd config parser

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoImport docs from Python program
Ian Jackson [Wed, 21 Jul 2021 21:49:08 +0000 (22:49 +0100)]
Import docs from Python program

We are aiming to be compatible with this.

Copied these files from
  d5100ea6b9bb1d0d858c5475469f9cc4e3200b3a
verbatim.  We'll free to hack them here, though.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agodependencies
Ian Jackson [Wed, 21 Jul 2021 21:33:00 +0000 (22:33 +0100)]
dependencies

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
2 years agoinitial commit, cargo init + edits + licence
Ian Jackson [Wed, 21 Jul 2021 21:23:25 +0000 (22:23 +0100)]
initial commit, cargo init + edits + licence

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