gitoriaLog in with ident

tracker

All repositories: gitoria

ReadmeCodePull requestsReleasesTicketsSettings
Commit54070a4e54070a4etracker#8: /my/unwatched + /my/schedule (301 from old), S01E01, title (year), 1 episode, watched-set lookup (unwatched 15s -> 1s)mre54070a4e/plugins/proc/stdin.hl

806 B

  1. // hl:proc — THE TERMINAL'S OWN INPUT as instance events, the Process pattern
  2. // applied to fd 0:
  3. //
  4. // input = stdin()
  5. // on input.line(text) { … } \\ one typed line, without its newline
  6. // on input.eof() { … } \\ the terminal closed (Ctrl-D)
  7. //
  8. // A joined terminal realm (SPEC "Joining a realm") is what this exists for: the
  9. // peer's entry reads lines here and `emit`s across the edge.
  10. Number #srcId = 0
  11. start() {
  12. #srcId = __native("eventloop.register", __native("proc.stdin"), "__stdinEvent")
  13. return this
  14. }
  15. on __stdinEvent(ev) {
  16. if (ev.eof == true) {
  17. // the closed terminal retires its source, so a program whose only
  18. // source was the keyboard simply ends
  19. __native("eventloop.unregister", #srcId)
  20. emit eof()
  21. return null
  22. }
  23. emit line(ev.line)
  24. return null
  25. }

Branches

Latest commits

  • 54070a4etracker#8: /my/unwatched + /my/schedule (301 from old), S01E01, title (year), 1 episode, watched-set lookup (unwatched 15s -> 1s)mre
  • 3251488atracker#7: /my/shows (followed shows, newest follow first, poster, title, last watched SxxEyy); gate can take screenshots (TRACKER_GATE_SHOTS)mre
  • 44b7d9f9tracker#6: /schedule — upcoming episodes of followed shows, soonest firstmre
  • 91c9fc8ctracker#5: /unwatched — unwatched released episodes of followed shows, newest firstmre
  • 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