Elliot Glaysher
d5b9cc8a66
Hack to make it boot.
2019-09-03 17:11:24 -07:00
Elliot Glaysher
25450d5ac8
Merge remote-tracking branch 'origin/bs/uterm' into eg/uterm
2019-09-03 16:45:45 -07:00
Elliot Glaysher
97c9a8c9f1
king can now generate a pill and boot with it.
2019-09-03 16:38:14 -07:00
Elliot Glaysher
c635abd58e
Hook up ~& to the terminal driver.
2019-09-03 15:17:20 -07:00
Elliot Glaysher
8af0d7bef9
Move all of Term.hs into RIO.
2019-09-03 11:02:54 -07:00
Benjamin Summers
143e7768a9
NounServ cleanup.
2019-08-31 09:19:40 -07:00
Elliot Glaysher
22647bb91e
Rough draft of putfiles.
2019-08-30 13:26:51 -07:00
Elliot Glaysher
80e71b2532
Actually send ^D to the Urbit; handle %logo in response to shutdown.
2019-08-30 11:01:37 -07:00
Benjamin Summers
351eaca628
Started separating out low-level LMDB logic.
2019-08-30 01:43:22 -07:00
Benjamin Summers
ec372efb31
Wrote hacky websocket client/server for terminal driver.
...
Using websockets because it would be nice to eventually have a terminal
in the Electron client.
This is prototype-quality code. Using the built-in client/server from the
`websockets` package, but that's just for testing.
2019-08-30 00:56:28 -07:00
Benjamin Summers
4903a72682
Various small fixes -- trying to get boot working.
2019-08-29 18:29:55 -07:00
Benjamin Summers
0b19fe9c79
EventBrowser: Polish UI and implement event trimming.
2019-08-29 17:23:48 -07:00
Benjamin Summers
ed20b78473
Event/Effect browser with event trimming (not implemented yet).
2019-08-29 16:48:46 -07:00
Elliot Glaysher
206230cec6
Get ^D to end your Urbit session.
...
This also does a bunch of style cleanup and rearranging so that we
can have the reader thread end.
2019-08-29 16:35:52 -07:00
Elliot Glaysher
8ac461477a
Log "interrupt" on C-c properly.
2019-08-29 15:05:01 -07:00
Elliot Glaysher
e2d304d43c
At least detect when we have ^C or ^D.
2019-08-29 14:54:34 -07:00
Elliot Glaysher
6f6811def5
Very basic input works. Edge cases unhandled.
2019-08-29 13:19:06 -07:00
Elliot Glaysher
70ef39210f
Get basic text working.
2019-08-29 11:12:50 -07:00
Elliot Glaysher
cdcdc6a59e
Merge remote-tracking branch 'origin/bs/king-logging' into eg/uterm
2019-08-29 10:30:53 -07:00
Benjamin Summers
de7a087ef5
Logging everywhere + log to file
2019-08-28 17:26:59 -07:00
Elliot Glaysher
d1a9eaeaa0
A closer copy of the term.c output.
...
After looking at vty for a bit, I decided to just do a straight port
of term.c's raw output code. This gets the "~zod:dojo" in the right
position, though the other logging output screws things up a bit.
2019-08-28 17:08:47 -07:00
Elliot Glaysher
555b9e7dcf
Moved terminal initialization up to Pier.
...
Joe told me to look at the Jaque terminal and I just did. That uses
the Lanterna Java library to handle terminal output. Joe then suggested
that I move the entire system here to curses or another similar library.
2019-08-28 13:17:01 -07:00
Benjamin Summers
062c71b57d
Logging in Vere.Serf
2019-08-28 05:22:56 -07:00
Benjamin Summers
c1bb26e628
Logging in Vere.Pier
2019-08-28 04:45:49 -07:00
Benjamin Summers
360d166344
Started RIO's logging system instead of printfs.
2019-08-28 04:00:26 -07:00
Elliot Glaysher
994c5948e1
Construct the %blew and %hail initalEvents correctly.
2019-08-27 16:22:01 -07:00
Elliot Glaysher
5e3e1e7c1a
Skeleton terminal implementation.
...
This sends the right events on startup, and there's a minimal key
reading logic, but not much else works yet.
2019-08-27 15:29:11 -07:00
Benjamin Summers
0b0718997e
Don't insist on using specific port.
2019-08-21 18:18:10 -07:00
Benjamin Summers
82683bfd9a
Validate effects.
2019-08-21 17:54:00 -07:00
Benjamin Summers
8ace44adb6
Validate pill files.
2019-08-21 16:49:08 -07:00
Benjamin Summers
3ff5c4fad5
Implement king bug collect-all-fx
...
For now, this is mostly useful as an integration test: Replay the whole
event log of an existing ship using King Haskell.
This also opens the door for a future tool that inspects collected
effects for debugging purposes.
2019-08-20 17:42:53 -07:00
Benjamin Summers
6a273906b2
Store collected effects in LMDB.
2019-08-20 16:32:46 -07:00
Benjamin Summers
e02dd2342c
CLI Parsing cleanup.
2019-08-14 19:47:54 -07:00
Benjamin Summers
e640bf505d
The HTTP query string wasn't being included in the event.
2019-08-13 17:53:03 -07:00
Benjamin Summers
e6c2d46cd1
Various Fixes and Improvements
2019-08-12 22:56:31 -07:00
Benjamin Summers
55ceffc4c3
CLI parsing.
2019-08-12 21:57:30 -07:00
