Use bash highlighting instead of shell