Fix bashrc to not sync devrc since there's no guarantee it will be there.