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.