bash pygments is weird use html