increase bash history to 10000
add myip()
add gitdiffgrep.sh