From 2336f910a60f501e8f19d5a25304a8d1044307c1 Mon Sep 17 00:00:00 2001 From: Daniil Tsivinsky Date: Wed, 23 Aug 2023 18:18:00 +0300 Subject: [PATCH] bash: add opam configuration --- config/.bashrc | 3 +++ 1 file changed, 3 insertions(+) diff --git a/config/.bashrc b/config/.bashrc index 213bf95..a4f0634 100644 --- a/config/.bashrc +++ b/config/.bashrc @@ -62,3 +62,6 @@ function ? { TZ=:/etc/localtime export FONTCONFIG_PATH=/etc/fonts + +# opam configuration +test -r /home/daniil/.opam/opam-init/init.sh && . /home/daniil/.opam/opam-init/init.sh >/dev/null 2>/dev/null || true