This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/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 |