From 4f4da312e17ed6802522fd71b7986839d3a82012 Mon Sep 17 00:00:00 2001
From: Paul Walker <paul@blacksun.org.uk>
Date: Fri, 29 Sep 2023 16:16:08 +0100
Subject: [PATCH] bash: add opam

---
 bashrc.d/opam.bash | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 bashrc.d/opam.bash

diff --git a/bashrc.d/opam.bash b/bashrc.d/opam.bash
new file mode 100644
index 0000000..cedf89a
--- /dev/null
+++ b/bashrc.d/opam.bash
@@ -0,0 +1,2 @@
+# opam configuration
+test -r $HOME/.opam/opam-init/init.sh && . $HOME/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true