You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Within the GUI its really easy to know the session-id as its in the url.
Unfortunately this information is not available to the user in CLI Mode. Knowing the session is critical to then be able to access the docker workspace by name, which is vital if you want to be able to download the workspace.
This issue is especially relevant if the user has multiple CLI sessions open. I imagine that it should be really easy to implement this feature.
The text was updated successfully, but these errors were encountered:
We have also the ability to name sessions, with the parameter -n, for example -n fix_print_sid will start the session name with it, so it's more human-readable. Do you find that useful?
Within the GUI its really easy to know the session-id as its in the url.
Unfortunately this information is not available to the user in CLI Mode. Knowing the session is critical to then be able to access the docker workspace by name, which is vital if you want to be able to download the workspace.
This issue is especially relevant if the user has multiple CLI sessions open. I imagine that it should be really easy to implement this feature.
The text was updated successfully, but these errors were encountered: