outsourced system specific bashrc commands to bashrc_personal