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

opam and pack config

Browse source
This commit is contained in:
William Ball 2025-03-17 23:25:00 -07:00
parent c53699b0aa
commit 1324b23f0d
Signed by: wball
GPG key ID: B8682D8137B70765
2 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
zsh/.config/zsh/.zprofile
View file

@ -28,6 +28,7 @@ export CARGO_HOME="$XDG_DATA_HOME/cargo"
export GPG_TTY="$(tty)" export GPG_TTY="$(tty)"
export STACK_XDG=1 export STACK_XDG=1
export GHCUP_USE_XDG_DIRS=true export GHCUP_USE_XDG_DIRS=true
export OPAMROOT="$XDG_DATA_HOME/opam"
export JULIA_DEPOT_PATH="$XDG_DATA_HOME/julia:$JULIA_DEPOT_PATH" export JULIA_DEPOT_PATH="$XDG_DATA_HOME/julia:$JULIA_DEPOT_PATH"
export JUPYTER_CONFIG_DIR="$XDG_CONFIG_HOME/jupyter" export JUPYTER_CONFIG_DIR="$XDG_CONFIG_HOME/jupyter"
export RUSTUP_HOME="$XDG_DATA_HOME/rustup" export RUSTUP_HOME="$XDG_DATA_HOME/rustup"
@ -37,3 +38,4 @@ export AGDA_DIR="$HOME/.config/agda"
export PACK_DIR="$HOME/.local/share/pack" export PACK_DIR="$HOME/.local/share/pack"
export MIZFILES="$HOME/.local/share/mizar" export MIZFILES="$HOME/.local/share/mizar"
export RLWRAP_HOME="$XDG_DATA_HOME/rlwrap" export RLWRAP_HOME="$XDG_DATA_HOME/rlwrap"
export PACK_DIR="$XDG_DATA_HOME/pack"

3
zsh/.config/zsh/.zshrc
View file

@ -44,6 +44,9 @@ zstyle ':completion:*' matcher-list 'm:{a-zA-Z}={A-Za-z}'
source /usr/share/zsh/plugins/zsh-syntax-highlighting/zsh-syntax-highlighting.zsh source /usr/share/zsh/plugins/zsh-syntax-highlighting/zsh-syntax-highlighting.zsh
source /usr/share/zsh/plugins/zsh-autosuggestions/zsh-autosuggestions.zsh source /usr/share/zsh/plugins/zsh-autosuggestions/zsh-autosuggestions.zsh
# setup ocaml stuff
[[ ! -r '/home/wball/.local/share/opam/opam-init/init.zsh' ]] || source '/home/wball/.local/share/opam/opam-init/init.zsh' > /dev/null 2> /dev/null
# zoxide # zoxide
eval "$(zoxide init zsh)" eval "$(zoxide init zsh)"