bash: merge my bash_profile (temporarily) into main config