add https_proxy
less behaves like cat on small files
shortcut to display the url config of remote repo in a git root
cleaner typo