diff options
Diffstat (limited to '')
| -rw-r--r-- | profile/.profile.d/60_ocaml.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/profile/.profile.d/60_ocaml.sh b/profile/.profile.d/60_ocaml.sh new file mode 100644 index 0000000..b981b3d --- /dev/null +++ b/profile/.profile.d/60_ocaml.sh @@ -0,0 +1,8 @@ +#!/bin/sh + +if command -v opam >/dev/null 2>&1; then + if [ -f "${HOME}/.opam/opam-init/init.sh" ]; then + # shellcheck disable=SC1091 + . "${HOME}/.opam/opam-init/init.sh" >/dev/null 2>&1 + fi +fi |