diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-09-08 15:07:11 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-09-08 15:07:11 +0100 |
commit | ea87dc5c0fe7c447f9663ce32ac83c829939508a (patch) | |
tree | 348e4118a78a2cb06298f33e9bd7ad5af96d1943 /zsh | |
parent | cd395124ec91c49e58525b0fccf73aec28202d32 (diff) | |
parent | 3b12137fc31f4a970ea434f845d0c935450f0a2d (diff) | |
download | dotfiles-ea87dc5c0fe7c447f9663ce32ac83c829939508a.tar.gz dotfiles-ea87dc5c0fe7c447f9663ce32ac83c829939508a.zip |
Merge branch 'master' of github.com:ymherklotz/dotfiles
Diffstat (limited to 'zsh')
-rw-r--r-- | zsh/.zsh/export.zsh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/zsh/.zsh/export.zsh b/zsh/.zsh/export.zsh index 2de4b93..efd4cc1 100644 --- a/zsh/.zsh/export.zsh +++ b/zsh/.zsh/export.zsh @@ -13,6 +13,8 @@ export VISUAL='emacsclient -c' export TERM='xterm-256color' export CLICOLOR=1 +export LFSCSIGS="$HOME/.opam/default/.opam-switch/sources/coq-smtcoq.dev+8.13/src/lfsc/tests/signatures" + prepend_path() { [ -d "$1" ] && PATH="$1:$PATH" } @@ -29,6 +31,7 @@ if [ $os = "Darwin" ]; then fi prepend_path "/usr/local/bin" +prepend_path "/usr/local/sbin" prepend_path "${HOME}/.gem/ruby/2.7.0/bin" prepend_path "${HOME}/.yarn/bin" prepend_path "${HOME}/.cargo/bin" @@ -42,6 +45,7 @@ append_path "/opt/Xilinx/Vivado/2019.1/bin" append_path "/opt/intelFPGA_lite/18.1/quartus/bin" append_path "$HOME/projects/vericert/bin" append_path "/opt/bin" +append_path "$HOME/go/bin" export PATH |