introduced ~/.bashrc.local and extracted some server specific settings into this file