We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? # to your account
coder.<workspace>
Currently we look for recents based on the host name.
But if you opened a workspace with the remote SSH plugin directly, those host names are different than the special form our plugin uses.
We should be able to search for the coder.<workspace> form as well and offer those as options when connecting.
The text was updated successfully, but these errors were encountered:
No branches or pull requests
Currently we look for recents based on the host name.
But if you opened a workspace with the remote SSH plugin directly, those host names are different than the special form our plugin uses.
We should be able to search for the
coder.<workspace>
form as well and offer those as options when connecting.The text was updated successfully, but these errors were encountered: