Refactor/dev namespaces #79

bplatz · 2024-07-24T20:37:23Z

This replaces #77 based on the new config feature. It is based on top of #78.

This

adds some REPL tools to the user namespace
has a working single-server RAFT config with simple user ns startup
Adjusts some of our default settings to be more reasonable (open to debate)
Fixes http-api call dev namespace
excludes dev/data director in .gitignore, and dev namespaces now by default write data to that directory

zonotope

⛵

bplatz added 8 commits July 24, 2024 16:31

Fix basic http-calls ns

bdc5519

Set up config-raft.json for standalone

3531ac7

Raft no longer gets lists of servers as string

9546cd8

Adjust some default conf settings

f1f0277

Create user namespace for Integrant startup

e774c91

Exclude dev/data from git

a96aa58

Set default dev logging higher

b9b6b4b

Update to latest flureedb

865d362

bplatz requested a review from a team July 24, 2024 20:37

bplatz changed the base branch from main to feature/user-config July 24, 2024 21:00

Base automatically changed from feature/user-config to main July 24, 2024 21:41

zonotope approved these changes Jul 25, 2024

View reviewed changes

bplatz merged commit 3c1c41e into main Jul 25, 2024
6 checks passed

bplatz deleted the refactor/dev-namespaces branch July 25, 2024 09:59

Provide feedback