bash: add opam configuration

2023-08-23 18:18:00 +03:00
parent 43e3864e6a
commit 2336f910a6
1 changed files with 3 additions and 0 deletions
--- 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