From 01d78d2d5e16fca2dbd4cc160120bdbe6bba7771 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Wed, 8 Sep 2021 13:05:55 +0100
Subject: Adding more changes to emacs

---
 zsh/.zsh/export.zsh | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'zsh')

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
 
-- 
cgit