updated shell code snippet to use Pygments' highlighting