From 7b78ccc9525bcb85c48d5d855e06c0ef7417ebc4 Mon Sep 17 00:00:00 2001
From: Wolfgang Fahl <wf@bitplan.com>
Date: Sat, 10 Jun 2023 21:09:47 +0200
Subject: [PATCH] tries fixing example directory

---
 scripts/run | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/scripts/run b/scripts/run
index d1954bc..bd3c577 100755
--- a/scripts/run
+++ b/scripts/run
@@ -190,9 +190,18 @@ do
       $gsd/bin/gremlin-server.sh $conf
       ;;
     -sd|--server_docker)
+      example_dir=$HOME/.gremlin-examples
+      if [ ! -d $example_dir]
+      then
+        color_msg $blue "create example directory $example_dir ..."
+        mkdir -p $example_dir
+      else
+        color_msg $green "example directory $example_dir already exists ..."
+      fi
+
       color_msg $blue "starting gremlin-server via Docker ..."
       #  export GREMLIN_YAML=/opt/gremlin-server/conf/gremlin-server.yaml
-      docker run --name gremlin-server -v $HOME/.gremlin-examples:/opt/gremlin-server/data/examples -p 8182:8182 tinkerpop/gremlin-server:$version conf/gremlin-server.yaml
+      docker run --name gremlin-server -v $example_dir:/opt/gremlin-server/data/examples -p 8182:8182 tinkerpop/gremlin-server:$version conf/gremlin-server.yaml
       #
       ;;
     -n|--neo4j)