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.

Sign up for GitHub

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

Jump to bottom

Improve error message for starting docker cmdline code executor when docker isnt running #3816

Closed
jackgerrits opened this issue Oct 17, 2024 · 2 comments
Closed

Improve error message for starting docker cmdline code executor when docker isnt running #3816

jackgerrits opened this issue Oct 17, 2024 · 2 comments
Labels
proj-extensions size-small takes 1-2 days
Milestone
0.4.1

Comments

@jackgerrits
Copy link
Member

The error message given in this case should point the user more specifically to the potential problem
@jackgerrits jackgerrits added this to the 0.4 milestone Oct 17, 2024
@MohMaz
Copy link
Contributor

MohMaz commented Oct 17, 2024

@jackgerrits please feel free to assign this to me, I'll try to take a look

@fniedtner fniedtner removed the feature label Oct 24, 2024
@jackgerrits jackgerrits added the size-small takes 1-2 days label Oct 24, 2024
@fniedtner fniedtner modified the milestones: 0.4, 0.4.1 Oct 24, 2024
@MohMaz MohMaz removed their assignment Dec 2, 2024
gziz added a commit to gziz/autogen that referenced this issue Dec 7, 2024
@gziz
Improve message error when docker isn't running (microsoft#3816)
1909fe2
@gziz gziz mentioned this issue Dec 7, 2024
Merged
3 tasks
jackgerrits added a commit that referenced this issue Dec 10, 2024
@gziz @jackgerrits
Improve message error when docker isn't running (#3816) (#4600)
3e5e12b 
Co-authored-by: Jack Gerrits <[email protected]>
ekzhu pushed a commit that referenced this issue Dec 10, 2024
@gziz @jackgerrits @ekzhu
Improve message error when docker isn't running (#3816) (#4600)
43a876b 
Co-authored-by: Jack Gerrits <[email protected]>
@gziz
Copy link
Contributor

gziz commented Dec 13, 2024

Closing this, as we have merged #4600

@gziz gziz closed this as completed Dec 13, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
proj-extensions size-small takes 1-2 days
Projects
None yet
Milestone
0.4.1
Development

No branches or pull requests
4 participants
@MohMaz @jackgerrits @gziz @fniedtner