From cca9a9274eb90a2adee24a5eedd1412ff281b468 Mon Sep 17 00:00:00 2001 From: Yuri Astrakhan Date: Tue, 23 Jul 2024 21:03:58 -0400 Subject: [PATCH] improve startup docs --- platform/linux/startup.sh | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/platform/linux/startup.sh b/platform/linux/startup.sh index 2a22a683b2f..bd6f6103832 100644 --- a/platform/linux/startup.sh +++ b/platform/linux/startup.sh @@ -1,5 +1,13 @@ #!/bin/sh -# This file will have any docker pre-installations +if [ ! -d /app/.github ] || [ ! -d /home/user/.cache ]; then + echo " " + echo "ERROR: Docker container was not started properly." + echo " From the root of this repo, run the following command." + echo " You may add any command to perform in the container at the end of this command." + echo " " + echo ' docker run --rm -it -v "$PWD:/app/" -v "$PWD/.docker_cache:/home/user/.cache" maplibre-native-image' + exit 1 +fi exec "$@"