tracker
All repositories: gitoria
806 B
// hl:proc — THE TERMINAL'S OWN INPUT as instance events, the Process pattern// applied to fd 0://// input = stdin()// on input.line(text) { … } \\ one typed line, without its newline// on input.eof() { … } \\ the terminal closed (Ctrl-D)//// A joined terminal realm (SPEC "Joining a realm") is what this exists for: the// peer's entry reads lines here and `emit`s across the edge.Number #srcId = 0start() {#srcId = __native("eventloop.register", __native("proc.stdin"), "__stdinEvent")return this}on __stdinEvent(ev) {if (ev.eof == true) {// the closed terminal retires its source, so a program whose only// source was the keyboard simply ends__native("eventloop.unregister", #srcId)emit eof()return null}emit line(ev.line)return null}
Branches
- mainmain branch
Latest commits
- a97c0295tracker#4: show page /shows/:slug (header, seasons, episodes, watch checks) + tools/relink-episode-seasons.hlmre
- 05f407c5tracker: no border on any button except inverted ones (Log out, ident status and identities too); header brand weight 100mre
- 17375427tracker#2: tools/migrate.hl + tools/verify.hl — old MongoDB data into mpackdb with new idsmre
- 31aac936tracker#3: no border on the header and on filled buttons; inverted buttons keep theirsmre
- 2ad9d29ctracker#1: login exactly like calendar (identity selector in the header, empty homepage)mre
- 3691e176tracker#1: empty tracker with the ident login (state of 2026-09-27)mre