Skip to content

Instantly share code, notes, and snippets.

View mikesea's full-sized avatar

Mike Chlipala mikesea

View GitHub Profile
@mikesea
mikesea / bash
Created August 7, 2012 23:16
sample .bash_profile goodies
source ~/.bashrc
source ~/.rvm/scripts/rvm
export PATH="/usr/local/bin:/usr/local/sbin:$PATH"
export EDITOR=/usr/local/Cellar/macvim/7.3-64/bin/mvim
# git
alias gs='git status '
alias ga='git add '
alias gb='git branch '
alias gc='git commit'