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

wolfram home

Browse source
This commit is contained in:
William Ball 2025-03-31 18:26:11 -07:00
parent cb9ccbbf96
commit c0295c2f4c
Signed by: wball
GPG key ID: B8682D8137B70765
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
zsh/.config/zsh/.zprofile
View file

@ -39,3 +39,4 @@ 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" export PACK_DIR="$XDG_DATA_HOME/pack"
export WOLFRAM_USERBASE="$XDG_DATA_HOME/wolfram"