# this does not support a command, it opens an interactive ssh session
DIR="${PWD#$HOME/}"
[ "$DIR" = "$HOME" ] && DIR="."
ssh $remote_ssh_options -t "$@" "cd $DIR ; exec /bin/bash --login -i"
