Skip to content

Conversation

@zephraph
Copy link
Contributor

@zephraph zephraph commented Mar 7, 2023

@benjaminleonard hit up against some platform differences with sed which was causing the export script to fail.

I decided to take a bit of a different approach here and use a tool called zx and practice some literate programming. Instead of a shell script, there's now a markdown file that's compiled into a .mjs file and executed by zx.

In practice it results in the same thing, it's just tweaked a bit to make certain parts easier to reason about.

@zephraph zephraph added the internal Changes only affect the internal API label Mar 7, 2023
@benjaminleonard
Copy link
Collaborator

Thanks for this! Also managed to fix the issue with the regex wiping out some icons — tweaked so it's a little less greedy.

@benjaminleonard benjaminleonard added patch Increment the patch version when merged and removed internal Changes only affect the internal API labels Mar 8, 2023
@benjaminleonard benjaminleonard merged commit 1eb257f into master Mar 8, 2023
@zephraph
Copy link
Contributor Author

zephraph commented Mar 8, 2023

🚀 PR was released in v0.8.1 🚀

@benjaminleonard benjaminleonard deleted the better-export-script branch December 2, 2024 17:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

patch Increment the patch version when merged released

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants