swytch/dotfiles
Archived
1
0
Fork 0
Code Issues Pull Requests Projects Releases Activity

fix: COQBIN variable

Browse Source
This commit is contained in:
David JULIEN 2021-10-19 17:03:00 +02:00
parent f5faaa5a90
commit 9538391e5c
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.config/zsh/.zprofile
View File

@ -20,7 +20,7 @@ export GTK2_RC_FILES="$XDG_CONFIG_HOME/gtk-2.0/gtkrc-2.0"
export TEXMFHOME="$XDG_DATA_HOME/texmf"
export CARGO_HOME="$XDG_DATA_HOME/cargo"
export OPAMROOT="$XDG_DATA_HOME/opam"
export COQBIN="$OPAMROOT/default/bin"
export COQBIN="$OPAMROOT/default/bin/"
## default programs
export SUDO_ASKPASS="$HOME/.local/bin/dmenupass"