Para todo ello, se debe utilizar el comando "pygmentize" en el terminal de comandos del sistema operativo.