Skip to content

Conversation

tsvl
Copy link
Contributor

@tsvl tsvl commented May 13, 2025

On Windows (I'm not sure how other platforms handle this, might be worth checking) the Insiders executable is Code - Insiders.exe with spaces (thanks microsoft), so the current restart batch script fails and it has to be restarted manually. Changing ${exeName}.exe to "${exeName}.exe" handles this so it succeeds even with spaces in the name.

@subframe7536
Copy link
Owner

LGTM!

@subframe7536 subframe7536 merged commit af944f8 into subframe7536:main May 13, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants