Skip to content

Instantly share code, notes, and snippets.

@20015jjw
Last active August 28, 2015 19:16
Show Gist options
  • Save 20015jjw/09db86c3476c191ec2a4 to your computer and use it in GitHub Desktop.
Save 20015jjw/09db86c3476c191ec2a4 to your computer and use it in GitHub Desktop.
CS162 .bash_profile
export PATH="/usr/local/bin:$PATH"
export PATH=$PATH:/Users/will/Library/Android/sdk/platform-tools
# enable / disable internal keyboard
alias keyboard_disable="sudo kextunload /System/Library/Extensions/AppleUSBTopCase.kext/Contents/PlugIns/AppleUSBTCKeyboard.kext/"
alias keyboard_enable="sudo kextload /System/Library/Extensions/AppleUSBTopCase.kext/Contents/PlugIns/AppleUSBTCKeyboard.kext/"
# function to change iterm2 profiles
iterm2_profile() { echo -e "\033]50;SetProfile=$1\a"; }
# automatically change iterm2 profile given the hour in the day
HOUR=`date +"%H"`
if [ $HOUR -gt 6 ] && [ $HOUR -lt 18 ]; then iterm2_profile Light; else iterm2_profile Dark; fi
clear
# CS162 alias
alias vgup="cd ~/Src/cs162/vagrant && vagrant up"
alias vgmount="mount_smbfs //vagrant:vagrant@192.168.162.162/vagrant \
~/Src/cs162/vhome && cd ~/Src/cs162/vhome"
alias vgunmount="cd ~ && umount ~/Src/cs162/vhome"
alias vgdown="vgunmount && cd ~/Src/cs162/vagrant && vagrant halt"
alias vgssh="cd ~/Src/cs162/vagrant && vagrant ssh"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment