minor fix in dot-profile
better redis defaults