modified bash history options
added git pull alias
modified ctrl-p mappings