nail down some bash prefs for hltcoe