.zprofile

# PATH
export PATH=~/.cargo/bin:/Users/vera/miniconda3/bin:$PATH:/Users/vera/go/bin
export PATH=./node_modules/.bin:$PATH
export PATH=~/.npm/bin:$PATH
export PATH=/usr/local/opt/mysql@5.7/bin:$PATH
export PATH=~/github/HoTT:$PATH
export PATH=/Applications/Isabelle2018.app/Isabelle/bin:$PATH
export PATH="${GHCUP_INSTALL_BASE_PREFIX:=$HOME}/.ghcup/bin:$HOME/.cabal/bin:$PATH"
export PATH=~/.nodenv/shims:$PATH


export RUST_SRC_PATH="$(rustc --print sysroot)/lib/rustlib/src/rust/src"

export PATH=/opt/homebrew/bin:$PATH

export PATH="$HOME/.pack/bin:$PATH"

export PATH="$HOME/.local/bin:/opt/homebrew/opt/postgresql@15/bin:/Users/vera/.bun/bin:/Users/vera/.nodenv/shims:$PATH"

# Path exports
export PATH="/opt/homebrew/opt/libpq/bin:$PATH"
export PATH="$HOME/.poetry/bin:$PATH"
export PATH="${KREW_ROOT:-$HOME/.krew}/bin:$PATH"

export ZSH_CUSTOM=~/github/dotfiles/zsh