search

mintproject / mic

Model Insertion Checker
https://mic-cli.readthedocs.io/en/latest/
5 stars 3 forks source link

Reconnect to container #264

Closed dgarijo closed 3 years ago

dgarijo commented 4 years ago

suggested by @brandomr If I am working on MIC and my connection to the container gets reset (e.g., I am working on a server and my connection drops) it would be nice to reconnect to the container I had started working on. You can do it by doing

docker ps selecting the right name and docker exec -it <container name> /bin/bash

But it would be nice if mic helped doing this

issue-label-bot[bot] commented 4 years ago

Issue-Label Bot is automatically applying the label feature_request to this issue, with a confidence of 0.96. Please mark this comment with :thumbsup: or :thumbsdown: to give our bot feedback!

Links: app homepage, dashboard and code for this bot.

mosoriob commented 3 years ago

Merged #327