github-actions[bot]
commented
2 months ago Hi I'm an AI powered bot that finds similar issues based off the issue title.
Please view the issues below to see if they solve your problem, and if the issue describes your problem please consider closing this one and thumbs upping the other issue to help us prioritize it. Thank you!
Closed similar issues:
- Dev Box configuration does not currently work (#2762), similarity score: 0.76
- Can't apply a configuration file to a DevBox. (#2875), similarity score: 0.75
Note: You can give me feedback by thumbs upping or thumbs downing this comment.
huzaifa-d
Dev Home version
No response
Windows build number
No response
Other software
No response
Steps to reproduce the bug
Attempt to configure a Dev Box that is currently not running
Expected result
The user is able to configure their Dev Box
Actual result
The user receives the following error:
"The Dev Box isn't running. Please start the Dev Box and try again"
We probably want to confirm with the Dev Box team what they'd want the experience to be. Should we start the DevBox first then run the configuration file after its started instead of having the user start it manually themselves?
Included System Information
No response
Included Extensions Information
No response