From b209dd98527fd357e716d44ec4adb430504eae56 Mon Sep 17 00:00:00 2001
From: Paul Iannetta <paul.iannetta@inria.fr>
Date: Mon, 19 Nov 2018 00:51:01 +0100
Subject: zsh dot files

---
 .config/zsh/rc/opam.rc | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100755 .config/zsh/rc/opam.rc

(limited to '.config/zsh/rc/opam.rc')

diff --git a/.config/zsh/rc/opam.rc b/.config/zsh/rc/opam.rc
new file mode 100755
index 0000000..b25377c
--- /dev/null
+++ b/.config/zsh/rc/opam.rc
@@ -0,0 +1,4 @@
+
+
+# OPAM configuration
+. /home/paul/.opam/opam-init/init.zsh > /dev/null 2> /dev/null || true
-- 
cgit v1.2.3-54-g00ecf