summaryrefslogtreecommitdiffstats
path: root/zsh
diff options
context:
space:
mode:
Diffstat (limited to 'zsh')
-rw-r--r--zsh/.zprofile9
-rw-r--r--zsh/.zshrc2
2 files changed, 8 insertions, 3 deletions
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"