#!/bin/bash

PROXY_PORT=2242
PROXY_HOST=proxy
PROXY_USER=david

ssh -tp $PROXY_PORT $PROXY_USER@$PROXY_HOST "$@"
