bash highlight?