push_host procedure

push_host Procedure

This procedure makes the host named name be the current remote host connection.

push_host name

name

Name of the host to make the current connection.