From 161c93e90668ee7ea7350e2bb914eff827d2f672 Mon Sep 17 00:00:00 2001 From: Amin Bandali Date: Wed, 13 Dec 2017 14:09:45 -0500 Subject: Updates --- zsh/.zprofile | 9 ++++++--- zsh/.zshrc | 2 ++ 2 files changed, 8 insertions(+), 3 deletions(-) (limited to 'zsh') diff --git a/zsh/.zprofile b/zsh/.zprofile index 3d060ab..d1948bf 100644 --- a/zsh/.zprofile +++ b/zsh/.zprofile @@ -9,12 +9,15 @@ export CVS_RSH=ssh export MATHMODELS=$HOME/src/eiffel/mathmodels export RUST_SRC_PATH=~/.multirust/toolchains/stable-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src -export PATH="$HOME/.cargo/bin:$PATH" - # Eiffel2Java stuff export JAVA_HOME=/usr/lib/jvm/default export CPATH=$CPATH:"$JAVA_HOME/include:$JAVA_HOME/include/linux" export LIBRARY_PATH=$LIBRARY_PATH:"$JAVA_HOME/jre/lib/amd64/server" export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:"$JAVA_HOME/jre/lib/amd64/server" -# if [ -e /home/amin/.nix-profile/etc/profile.d/nix.sh ]; then . /home/amin/.nix-profile/etc/profile.d/nix.sh; fi # added by Nix installer +export PATH="$HOME/usr/build/pvs:$PATH" +export SBCLISP_HOME=/usr/share/sbcl-source +export PVS_LIBRARY_PATH="$HOME/usr/build/pvs/nasalib" + + + #if [ -e /home/amin/.nix-profile/etc/profile.d/nix.sh ]; then . /home/amin/.nix-profile/etc/profile.d/nix.sh; fi # added by Nix installer diff --git a/zsh/.zshrc b/zsh/.zshrc index 5ca4c1b..4de08ab 100644 --- a/zsh/.zshrc +++ b/zsh/.zshrc @@ -27,6 +27,7 @@ ZSH_HIGHLIGHT_PATTERNS+=('rm -rf *' 'fg=white,bold,bg=red') #ZSH_HIGHLIGHT_STYLES[unknown-token]='fg=red,bold' source ~/.zsh/zsh-autosuggestions/zsh-autosuggestions.zsh +source ~/.zsh/zsh-autopair/autopair.zsh # aliases alias mpv="mpv --ytdl-format mp4" @@ -35,3 +36,4 @@ alias cp="cp -iv" alias scl=systemctl alias jcl=journalctl alias m="mbsync -Va; getmail; notmuch new" +alias best="youtube-dl -f best" -- cgit v1.2.3-60-g2f50