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