#!/bin/bash

# port ouvert sur le serveur
export PORTTUN=6000

# port d'écoute SSH en local
export PORTLOC=22

# adresse du serveur
export REMOTEHOST=karchnu.fr

# utilisateur sur lequel on se connecte sur le serveur
export REMOTEUSER=gertrude

# port de connexion au serveur
export REMOTEPORT=22

export TUNNEL=${PORTTUN}:localhost:${PORTLOC}
export MYSSHCMD="ssh -TR ${TUNNEL} -p ${REMOTEPORT} ${REMOTEUSER}@${REMOTEHOST}"
