From dee77866a8bed1bfec0b8813a036af0d52f1349d Mon Sep 17 00:00:00 2001
From: Jacob Seman <90524106+Jbsco@users.noreply.github.com>
Date: Tue, 28 Nov 2023 14:52:13 -0700
Subject: [PATCH] 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.
---
 docker/docker_config.sh | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/docker/docker_config.sh b/docker/docker_config.sh
index ed171dc..99f2b0f 100755
--- 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 "$ $@"