dockerssh (easy ssh to a docker container)

dockersshrc.sh

##################################################
## Add the following lines to your .bashrc file ##
##################################################

# change terminal title (usefull for graphical ones)
# Usage:
#   settitle "my beautifull title"
settitle(){
    echo -n -e "\033]0;$1\007"
}


# SSH to a docker container according to the TCP/22
#  port redirection
# 
# start SSH session as current user:
#   dockerssh mycontainer
# start SSH session as a specific user:
#   dockerssh mycontainer myuser
dockerssh(){
    if [[ $# -lt 1 ]]; then
        echo "Not enough args: dockerssh container [specific_user] [container_ssh_port]"
    else
        container=$1
        [ $# -gt 2 ] && port=$3 || port=22
        sshport=`docker port $container $port`
        if [[ $? -eq 0 ]]; then
            sshport=`echo $sshport | awk -F ":" '{print $2}'`
            settitle $container
            [ $# -gt 1 ] && ssh $2@127.0.0.1 -p $sshport || ssh 127.0.0.1 -p $sshport
        fi
    fi
}