From f8b88bb4fa628a3fb61e903935c40b65d1d0c8ba Mon Sep 17 00:00:00 2001
From: Steven Agyekum <burnett@posteo.de>
Date: Tue, 12 Nov 2019 22:55:41 +0100
Subject: [PATCH] not on bash

---
 entrypoint.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/entrypoint.sh b/entrypoint.sh
index 2c1ef34..db7f421 100755
--- a/entrypoint.sh
+++ b/entrypoint.sh
@@ -5,7 +5,9 @@ set -eu
 # Set deploy key
 SSH_PATH="$HOME/.ssh"
 # Create .ssh dir if it doesn't exist
-[[ -d "$SSH_PATH" ]] || mkdir "$SSH_PATH"
+if [ ! -d "$SSH_PATH" ]; then
+  mkdir "$SSH_PATH"
+fi
 # Place deploy_key into .ssh dir
 echo "$DEPLOY_KEY" > "$SSH_PATH/deploy_key"
 # Set r+w to user only