-Dhttps.proxyHost and -Dhttps.proxyPortTip
-If you don’t know where your ~/.git directory is us git config
+If you don’t know where your ~/.git directory is use git config
--global to manipulate the settings (e.g. git config --global
http.sslVerify false).