diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-09-08 13:05:55 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-09-08 13:05:55 +0100 |
commit | 01d78d2d5e16fca2dbd4cc160120bdbe6bba7771 (patch) | |
tree | 0e2ede7741e8c4ffd97771a23e9f40f19d4a8636 /zsh | |
parent | a8fd139a791364b8484b9f82669bd31a0f55153e (diff) | |
download | dotfiles-01d78d2d5e16fca2dbd4cc160120bdbe6bba7771.tar.gz dotfiles-01d78d2d5e16fca2dbd4cc160120bdbe6bba7771.zip |
Adding more changes to emacs
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 8186e73..90463cf 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" @@ -40,6 +43,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 |