From 6d57ff63faf724eaa36c8e54cf805de775c6dcf7 Mon Sep 17 00:00:00 2001
From: benj <benj@rse8.com>
Date: Tue, 26 May 2020 20:41:40 -0700
Subject: opam, auracle, and randoms

---
 .bash_profile | 3 +++
 1 file changed, 3 insertions(+)

(limited to '.bash_profile')

diff --git a/.bash_profile b/.bash_profile
index fef0e14..027c569 100644
--- a/.bash_profile
+++ b/.bash_profile
@@ -8,3 +8,6 @@ export PATH
 [[ -f ~/.bashrc ]] && . ~/.bashrc
 
 source ~/.setup/.bash_profile.local
+
+# opam configuration
+test -r /home/benj/.opam/opam-init/init.sh && . /home/benj/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true
-- 
cgit v1.2.3