From 4b20aaf66ee99b11885d8919ab2eeec268d73722 Mon Sep 17 00:00:00 2001
From: Nicolas Viennot <nicolas@viennot.biz>
Date: Tue, 20 Aug 2019 02:40:25 -0400
Subject: [PATCH] SSH port is configurable in docker

---
 docker-entrypoint.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docker-entrypoint.sh b/docker-entrypoint.sh
index 64f0066a..90c0adb7 100755
--- a/docker-entrypoint.sh
+++ b/docker-entrypoint.sh
@@ -9,4 +9,4 @@ if [ ! -z "${SSH_HOSTNAME}" ]; then
   set -- -h "${SSH_HOSTNAME}" "$@"
 fi
 
-exec tmate-ssh-server -p 2200 -k ${SSH_KEYS_PATH} "$@"
+exec tmate-ssh-server -p ${SSH_PORT:-2200} -k ${SSH_KEYS_PATH} "$@"