Skip to content

Conversation

@dark0dave
Copy link

@dark0dave dark0dave commented Jun 30, 2025

Appologies, I've been frustrated by this binary inclusion before. I have fixed this with a:

which <binary>

This should locate or complain if a binary is missing on the path of the intended user.

The reason this is done, is that end users maybe using different version of weidu/lua to that which is being bundled.

Ideally we let linux users handle the missing binary.

@dark0dave dark0dave changed the title feat(trash): Ya'll don't know how linux works...... feat(remove): Remove prepacked bins for linux Jun 30, 2025
@dark0dave dark0dave force-pushed the fix/trashPrepackaged branch from 9d2686e to 0c565f3 Compare June 30, 2025 21:11
@dark0dave dark0dave force-pushed the fix/trashPrepackaged branch from 0c565f3 to 978e557 Compare June 30, 2025 21:19
@dark0dave dark0dave force-pushed the fix/trashPrepackaged branch from 978e557 to 0cca95f Compare June 30, 2025 21:24
@dark0dave dark0dave force-pushed the fix/trashPrepackaged branch from 0cca95f to 76f23d2 Compare June 30, 2025 21:34
@dark0dave dark0dave force-pushed the fix/trashPrepackaged branch from 76f23d2 to aa4af73 Compare June 30, 2025 21:36
@dark0dave dark0dave force-pushed the fix/trashPrepackaged branch from aa4af73 to 6ebd854 Compare June 30, 2025 21:39
@dark0dave dark0dave force-pushed the fix/trashPrepackaged branch from 6ebd854 to 7bc274e Compare June 30, 2025 21:51
@dark0dave dark0dave force-pushed the fix/trashPrepackaged branch from 7bc274e to d4daca8 Compare July 1, 2025 16:54
@github-actions github-actions bot added PR: feat and removed PR: feat labels Jul 1, 2025
@github-actions github-actions bot added PR: feat and removed PR: feat labels Jul 1, 2025
@dark0dave dark0dave force-pushed the fix/trashPrepackaged branch from d4daca8 to 2e936f9 Compare July 1, 2025 17:04
@github-actions github-actions bot added PR: feat and removed PR: feat labels Jul 1, 2025
@dark0dave dark0dave force-pushed the fix/trashPrepackaged branch from 2e936f9 to 3fc2ca1 Compare July 1, 2025 18:39
@github-actions github-actions bot added PR: feat and removed PR: feat labels Jul 1, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant