Skip to content

improvements for bash_profile, esp since history wasn't being read in correctly for new shell

Joseph Reichert requested to merge dotfiles2 into master

Note also that I was seeing SSL errors upon git push, which can be solved by adding the following to .gitconfig:

sslverify = false

Merge request reports