Clicking the new "SSH" access button on a workspace in the Coder website shows a tooltip that reads: > Run the following commands to connect with SSH: > > Configure ssh - only needs to be run once, or after managing workspaces > > `coder config-ssh` > > Connect to the agent > > `ssh coder.<WORKSPACE_NAME>.dev` ## Expected Behavior Running `coder config-ssh` and then `ssh coder.<WORKSPACE_NAME>.dev` in a terminal connects you over SSH to the workspace. ## Current Behavior Running `coder config-ssh` and then `ssh coder.<WORKSPACE_NAME>.dev` in a terminal shows the following error: ``` ssh: Could not resolve hostname coder.<WORKSPACE_NAME>.dev: nodename nor servname provided, or not known ``` However `ssh coder.<WORKSPACE_NAME>` works (without `.dev`). I understand `dev` is the name we gave to the `coder_agent` resource in our workspace template file.