Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Build step for building Init.ml editors #1487

Open
disconcision opened this issue Jan 29, 2025 · 1 comment
Open

Build step for building Init.ml editors #1487

disconcision opened this issue Jan 29, 2025 · 1 comment

Comments

@disconcision
Copy link
Member

Currently we have a somewhat brittle, laborious, and diff-intensive process of populating the initial editors by exporting the whole app state and inserting zipper serializations into the code. What I want instead is something like a folder in the codebase with a plain-text file for each doc slide, which, at compilation time, is turned into the Init.ml serialization. Or alternatively if the parser is fast enough we could just do this at run time. In any case whatever we build could reasonably be part of the git ignore so we no longer get those chonky commit diffs.

Complexities:

  • Doc slides with additional text at the top (not sure how this is implemented)
  • Projectors (would need to add textual syntax for them)

I think I have a simple-ish story for the latter at least.

@7h3kk1d
Copy link
Contributor

7h3kk1d commented Jan 29, 2025

Just curious for your thoughts. If we don't want to textify the projector state can we do a sexp-serialization and just have a better interface for downloading it from the app? I can't tell if you want the text version for updating the files in vs code or just for the git diffing.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
Status: Team Devops
Development

No branches or pull requests

2 participants