Docker Proxy

command-proxy.sh

#!/usr/bin/env bash

# This is the proxy. You'll want to configure your IDE settings in such way that it points to this file instead of the actual binary.
# This file has to be copy-pasted for each binary. 
# For example, the VS Code Reason plugin needs paths to numerous binaries, such as opam, refmt and so on. 
# You would need to have a file such as this one for each of them and replacing "ORIGINAL_COMMAND" with "opam" or "refmt".
# The "$@" is a forward of all parameters
# set -euo pipefail takes care of weird permission issues.

set -euo pipefail

docker exec CONTAINER_NAME ORIGINAL_COMMAND "$@" 

start-container.sh

#!/usr/bin/env bash

# This starts the actual container. Execute this prior to opening your IDE.
# The script should live at the root of your project. 
# $(pwd):$(pwd) is a 1:1 mapping of the project to the container
# -u $UID takes care of weird permission issues.

CONT_NAME="CONTAINER_NAME"

docker rm -f ${CONT_NAME}

docker run -t -d -v $(pwd):$(pwd) \
 -u $UID \
 --name ${CONT_NAME} \
IMAGE_NAME