Update docker_config.sh

Moved Linux case & Docker run flag to `create_container.sh`
Jbsco · Nov 30, 2023 · 10678ce · 10678ce
1 parent 27793fd
commit 10678ce
Showing 1 changed file with 0 additions and 8 deletions.
diff --git a/docker/docker_config.sh b/docker/docker_config.sh
@@ -5,14 +5,6 @@ DOCKER_IMAGE_NAME="ghcr.io/lasp/adamant:example-latest"
 export DOCKER_CONTAINER_NAME
 export DOCKER_IMAGE_NAME
 
-ON_LINUX=""
-case "$OSTYPE" in
-  linux*)
-    ON_LINUX="--add-host=host.docker.internal:host-gateway"
-    ;;
-esac
-export ON_LINUX
-
 # Helper function to print out command as executed:
 execute () {
   echo "$ $@"