diff --git a/docker/create_container.sh b/docker/create_container.sh
index 84571d6..f499f16 100755
--- a/docker/create_container.sh
+++ b/docker/create_container.sh
@@ -11,11 +11,7 @@ execute "docker run -d \
 
 # Run docker provision script inside of container to get things set up:
 echo "Provisioning container..."
-if [ -n "$ON_WINDOWS" ]; then
-  execute "winpty docker exec -u user $DOCKER_CONTAINER_NAME //share//adamant_example//docker//env//provision//provision_container.sh"
-else
-  execute "docker exec -u user $DOCKER_CONTAINER_NAME /share/adamant_example/docker/env/provision/provision_container.sh"
-fi
+execute "docker exec -u user $DOCKER_CONTAINER_NAME //share//adamant_example//docker//env//provision//provision_container.sh"
 
 echo "Finished creating container \"$DOCKER_CONTAINER_NAME\"."
 execute "docker ps -a"
diff --git a/docker/docker_config.sh b/docker/docker_config.sh
index f7e00c7..ed171dc 100755
--- a/docker/docker_config.sh
+++ b/docker/docker_config.sh
@@ -5,13 +5,6 @@ DOCKER_IMAGE_NAME="ghcr.io/lasp/adamant:example-latest"
 export DOCKER_CONTAINER_NAME
 export DOCKER_IMAGE_NAME
 
-case "$OSTYPE" in
-  cygwin|msys|win32)
-    ON_WINDOWS="yes"
-    export ON_WINDOWS
-    ;;
-esac
-
 # Helper function to print out command as executed:
 execute () {
   echo "$ $@"
diff --git a/docker/login_container.sh b/docker/login_container.sh
index aec531b..9e6536f 100755
--- a/docker/login_container.sh
+++ b/docker/login_container.sh
@@ -2,8 +2,4 @@
 
 . ./docker_config.sh
 
-if [ -n "$ON_WINDOWS" ]; then
-  execute "winpty docker exec -it -u user $DOCKER_CONTAINER_NAME //bin//bash"
-else
-  execute "docker exec -it -u user $DOCKER_CONTAINER_NAME /bin/bash"
-fi
+execute "docker exec -it -u user $DOCKER_CONTAINER_NAME //bin//bash"
diff --git a/docker/start_container.sh b/docker/start_container.sh
index f8bf381..2367eb0 100755
--- a/docker/start_container.sh
+++ b/docker/start_container.sh
@@ -2,9 +2,5 @@
 
 . ./docker_config.sh
 execute "docker start $DOCKER_CONTAINER_NAME"
-if [ -n "$ON_WINDOWS" ]; then
-  execute "winpty docker exec -u user $DOCKER_CONTAINER_NAME //share//adamant_example//docker//env//start_unison.sh &"
-else
-  execute "docker exec -u user $DOCKER_CONTAINER_NAME /share/adamant_example/docker/env/start_unison.sh &"
-fi
+execute "docker exec -u user $DOCKER_CONTAINER_NAME //share//adamant_example//docker//env//start_unison.sh &"
 execute "docker ps -a"