wball/dotfiles
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

ocaml

Browse source
This commit is contained in:
William Ball 2025-08-09 16:14:51 -07:00
parent 4a4afc925d
commit 874ddd2dca
Signed by: wball
GPG key ID: B8682D8137B70765
1 changed files with 9 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
fish/.config/fish/config.fish
View file

@ -68,3 +68,12 @@ set -x AGDA_DIR $HOME/.config/agda
set -x PACK_DIR $HOME/.local/share/pack set -x PACK_DIR $HOME/.local/share/pack
set -x MIZFILES $HOME/.local/share/mizar set -x MIZFILES $HOME/.local/share/mizar
set -x RLWRAP_HOME $XDG_DATA_HOME/rlwrap 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