improvements for bash_profile, esp since history wasn't being read in correctly for new shell
Note also that I was seeing SSL errors upon git push
, which can be solved by adding the following to .gitconfig:
[http]
sslverify = false
Please be advised that registry.cern.ch and registry-tn.cern.ch registries (Registry Service) will be unavailable next Tuesday, Feb 11th starting at 08:00h (Geneva time) for a short period of time. This may cause temporary disruptions to your workflows. Further info: OTG0154380
Note also that I was seeing SSL errors upon git push
, which can be solved by adding the following to .gitconfig:
[http]
sslverify = false