terminal-ssh This is a simple extension which allows you to ssh to a server using the integrated terminal Usage Create user setting "ssh.server": { "servername": "savina", "host": "savina", "username": "savina", "password": "savina" } Release Notes Initial Enjoy!