The property DOCKER_HOST in docker.environment does not work.

[LI-GUOJIE]

Develop on a remote Docker host (the official tutorial link)

However, there is a serious problem in the tutorial, the property "DOCKER_HOST" does not exist:

"docker.environment": {
    "DOCKER_HOST": "ssh://your-remote-user@your-remote-machine-fqdn-or-ip-here"
}

I add a line into my settings.json, and it works!

{
    // It's better to add this line into User's settings.json.
    // How to set an alias name to login SSH server, https://ostechnix.com/how-to-create-ssh-alias-in-linux/
    "docker.host":"ssh://tc"
}

I love this project (It looks like github codespaces), so I create an easier tutorial for myself.