some bash tools and configuration