From de197a108a816e5631b358c85f0773d2408b5a7a Mon Sep 17 00:00:00 2001 From: Danny Willems Date: Sat, 8 Oct 2016 14:01:47 +0200 Subject: [PATCH] Add OPAM --- plugins/opam/opam.plugin.zsh | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 plugins/opam/opam.plugin.zsh diff --git a/plugins/opam/opam.plugin.zsh b/plugins/opam/opam.plugin.zsh new file mode 100644 index 00000000..b21d7cd4 --- /dev/null +++ b/plugins/opam/opam.plugin.zsh @@ -0,0 +1,2 @@ +# OPAM configuration +. $HOME/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true