.bash_profile

export BASH_SILENCE_DEPRECATION_WARNING=1
# https://github.com/dotzero/iTerm-2-Peppermint
git_branch () {
    if git rev-parse --git-dir >/dev/null 2>&1
        then echo -e "" [ $(git branch 2>/dev/null| sed -n '/^\*/s/^\* //p')]
    else
        echo ""
    fi
}
function git_color {
    local STATUS=`git status 2>&1`
    if [[ "$STATUS" == *'Not a git repository'* ]]
        then echo ""
    else
    if [[ "$STATUS" != *'working directory clean'* ]]
        then
        # red if need to commit
        echo -e '\033[0;31m'
    else
    if [[ "$STATUS" == *'Your branch is ahead'* ]]
        then
        # yellow if need to push
        echo -e '\033[0;33m'
    else
        # else cyan
        echo -e '\033[0;32m'
    fi
    fi
    fi
}
export PS1='\[\033[0;35m\]⌘  \[\033[0;34m\]\w\[$(git_color)\]$(git_branch)\[\033[m\] '

export CLICOLOR=1
alias vim=nvim
alias vi=nvim

export PATH=~/.local/bin:$PATH
export PATH="/usr/local/opt/node@8/bin:$PATH"
export PATH="/Applications/Racket v6.12/bin:$PATH"
export PATH="/Users/joomy/Library/lean-3.4.1-darwin/bin:$PATH"
export PATH="/Users/joomy/Library/dafny:$PATH"
# export PATH="/Users/joomy/CompCert:$PATH"
export PATH="/Users/joomy/.opam/4.11.1/variants/compcert64/bin:$PATH"
export PATH="/usr/local/Frameworks/Python.framework/Versions/3.7/bin:$PATH"
export PATH="~/Library/pebble-dev/pebble-sdk-4.5-mac/bin":$PATH
export PATH="/usr/local/smlnj/bin":$PATH
export PATH="/Users/joomy/.cabal/bin":$PATH
export PATH="/Users/joomy/.cargo/bin":$PATH

export VST_LOC="/Users/joomy/vst"
export CC_LOC="/Users/joomy/vst/compcert"

alias bp="vim ~/.bash_profile"
alias pb="source ~/.bash_profile"
alias ocaml="rlwrap ocaml"
alias sml="rlwrap sml"
alias ghc="stack ghc"
alias ghci="stack ghci --ghc-options -fdefer-typed-holes"
alias ghci-idris="stack ghci idris:exe:idris"
alias runhaskell="stack runhaskell"
alias inst="stack install --flag idris:execonly"
alias snip="cd ~/.vim/bundle/vim-snippets/snippets"
alias mode-idris="cd ~/.emacs.d/elpa/idris-mode*"
alias tilde="ssh ckorkut@portal.cs.princeton.edu"
alias uptilde='f(){ scp "$@" ckorkut@portal.cs.princeton.edu:/u/ckorkut;  unset -f f; }; f'
alias oto='scp output.pdf ckorkut@portal.cs.princeton.edu:/u/ckorkut/public_html/papers/ottoman.pdf'
alias upta='f(){ scp "$@" cos326@cycles.cs.princeton.edu:/u/cos326/Weekly/Submitted/2019/midterm/grader;  unset -f f; }; f'
alias courselab="ssh ckorkut@courselab.cs.princeton.edu"
alias blog="cd ~/work/blog"
alias df="cd ~/work/direct-reflection-for-free"
alias key="vim ~/Library/KeyBindings/DefaultKeyBinding.dict"
alias ec=emacsclient
# alias ta="ssh cos326@cycles.cs.princeton.edu"
alias ta="ssh -J ckorkut@cycles.cs.princeton.edu cos326@cycles.cs.princeton.edu"
alias ne="open -n -a Emacs.app"
alias coqrem="rm -f ./*.vo ; rm -f ./*.glob ; rm -f ./*.vok ; rm -f ./*.vos"
alias cqmake="sudo make -j4 -k ; sudo sh ./make_plugin.sh ; sudo make install"
alias gst="git status --ignore-submodules=dirty"
alias cqpeb="docker run --rm -it -v \$PWD:/pebble andredumas/pebble-dev"
alias fm2021="cd /Users/joomy/Library/Application\ Support/Sports\ Interactive/Football\ Manager\ 2021"
alias fm2022="cd /Users/joomy/Library/Application\ Support/Sports\ Interactive/Football\ Manager\ 2022"
alias mon="displayplacer \"id:29562B30-42A9-8E8C-742A-4A6510394259 res:1920x1200 hz:60 color_depth:8 scaling:off origin:(0,0) degree:0\" \"id:E6A63C1D-86F4-8018-2273-2B808DB0039B res:1200x1920 hz:60 color_depth:8 scaling:off origin:(-1200,-469) degree:90\""

# OPAM configuration
. /Users/joomy/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true
export OPAMROOT=~/.opam
eval $(opam config env)

if [ -f ~/.git-completion.bash ]; then
  . ~/.git-completion.bash
fi

export PATSHOME="/Users/joomy/Library/ATS2-Postiats-0.4.0"
export PATH="/Users/joomy/Library/ATS2-Postiats-0.4.0/bin:$PATH"
# export PATH="/Applications/CoqIDE_8.11.2.app/Contents/Resources/bin:$PATH"
export TRMORPH="/Users/joomy/TRmorph/trmorph.fst"

# export COQPATH="/Users/joomy/.opam/4.11.1/lib/coq-variant/vst64/vst:$COQPATH"
# export COQPATH="/Users/joomy/.opam/4.11.1/lib/coq-variant/compcert64/compcert:$COQPATH"
# export COQPATH="/Users/joomy/.opam/4.11.1/variants/compcert64/bin:$COQPATH"
# export COQPATH="/Users/joomy/.opam/4.11.1/variants/compcert64/lib:$COQPATH"

alias dsh="docker run -ti -v \"$(pwd):/tmp\" --name vf cattheory/veriffi  /bin/bash"
alias yes="if [ -e /dev/cu.usbmodemCkbio01E1 ] ; then echo yes > /dev/cu.usbmodemCkbio01E1; fi "
alias no="if [ -e /dev/cu.usbmodemCkbio01E1 ] ; then echo no > /dev/cu.usbmodemCkbio01E1; fi"
alias wait="if [ -e /dev/cu.usbmodemCkbio01E1 ] ; then echo wait > /dev/cu.usbmodemCkbio01E1; fi"
alias nothing="if [ -e /dev/cu.usbmodemCkbio01E1 ] ; then echo nothing > /dev/cu.usbmodemCkbio01E1; fi"
alias browser="if [ -e /dev/cu.usbmodemCkbio01E1 ] ; then echo browser > /dev/cu.usbmodemCkbio01E1; fi"
alias emacskb="if [ -e /dev/cu.usbmodemCkbio01E1 ] ; then echo emacskb > /dev/cu.usbmodemCkbio01E1; fi"
alias server="python -m SimpleHTTPServer"
alias server80="python -m SimpleHTTPServer 80"
. "$HOME/.cargo/env"