From 9538391e5c1401bd6263f9fe99a934947d818577 Mon Sep 17 00:00:00 2001 From: David JULIEN Date: Tue, 19 Oct 2021 17:03:00 +0200 Subject: [PATCH] fix: COQBIN variable --- .config/zsh/.zprofile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.config/zsh/.zprofile b/.config/zsh/.zprofile index e8160f0..c52b485 100644 --- a/.config/zsh/.zprofile +++ b/.config/zsh/.zprofile @@ -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"