From 3c623998dc033d83660e492500485744c53a019a Mon Sep 17 00:00:00 2001
From: Vladan Popovic <vladanovic@gmail.com>
Date: Sun, 5 Jan 2020 22:23:32 +0100
Subject: [PATCH] opam init

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

diff --git a/.bash_profile b/.bash_profile
index 5545f00..8a84add 100644
--- a/.bash_profile
+++ b/.bash_profile
@@ -3,3 +3,6 @@
 #
 
 [[ -f ~/.bashrc ]] && . ~/.bashrc
+
+# opam configuration
+test -r $HOME/.opam/opam-init/init.sh && . $HOME/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true