echo " $(basename $0) {server} {remote-user} {local-user}"
echo "Note that this script must be run as root, but it uses the local user's"
echo "capability to connect to the remote system without a password (given the"
echo "user's possession of an ssh certificate on the remote host). The remote"
echo "user, in other words, must have an entry in the ssh authorized_keys that"
echo "allows the local user to connect."
echo " $(basename $0) {server} {remote-user} {local-user}"
echo "Note that this script must be run as root, but it uses the local user's"
echo "capability to connect to the remote system without a password (given the"
echo "user's possession of an ssh certificate on the remote host). The remote"
echo "user, in other words, must have an entry in the ssh authorized_keys that"
echo "allows the local user to connect."