diff options
| author | Azat Bahawi <azat@bahawi.net> | 1970-01-01 03:00:00 +0300 |
|---|---|---|
| committer | Azat Bahawi <azat@bahawi.net> | 2022-09-20 11:51:54 +0300 |
| commit | 38bab29776950ac2364ed64195b89887717c33de (patch) | |
| tree | edaaf366a55dbe96d268019124536bc504c64e87 /profile/.profile.d/60_ocaml.sh | |
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 |