Update docker_config.sh

Relating to comments in issue #2, added case for `linux-gnu` OSTYPE to implement the internal host when creating the docker container on this platform.
Jbsco · Nov 28, 2023 · dee7786 · dee7786
1 parent 983eb1c
commit dee7786
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/docker/docker_config.sh b/docker/docker_config.sh
@@ -5,6 +5,13 @@ DOCKER_IMAGE_NAME="ghcr.io/lasp/adamant:example-latest"
 export DOCKER_CONTAINER_NAME
 export DOCKER_IMAGE_NAME
 
+case "$OSTYPE" in
+  linux-gnu)
+    ON_LINUX="yes"
+    export ON_LINUX
+    ;;
+esac
+
 # Helper function to print out command as executed:
 execute () {
   echo "$ $@"