From 874ddd2dcac3ae616b8988115e1a621148b02889 Mon Sep 17 00:00:00 2001 From: William Ball Date: Sat, 9 Aug 2025 16:14:51 -0700 Subject: [PATCH] ocaml --- fish/.config/fish/config.fish | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/fish/.config/fish/config.fish b/fish/.config/fish/config.fish index aa3a9d9..c343a21 100644 --- a/fish/.config/fish/config.fish +++ b/fish/.config/fish/config.fish @@ -68,3 +68,12 @@ set -x AGDA_DIR $HOME/.config/agda set -x PACK_DIR $HOME/.local/share/pack set -x MIZFILES $HOME/.local/share/mizar set -x RLWRAP_HOME $XDG_DATA_HOME/rlwrap + + +# BEGIN opam configuration +# This is useful if you're using opam as it adds: +# - the correct directories to the PATH +# - auto-completion for the opam binary +# This section can be safely removed at any time if needed. +test -r '/home/wball/.opam/opam-init/init.fish' && source '/home/wball/.opam/opam-init/init.fish' > /dev/null 2> /dev/null; or true +# END opam configuration