Feature request: allow to specify options to pass to pygmentize

[gpoore]

Feature request: allow to specify options to pass to pygmentize

[gpoore]

There isn't a documented way to do this (yet), but you can use the internal macros to add a new option.

If your filter takes an argument, something like this in your preamble, after loading minted, should work. Then you can use kwrename as an option.

\makeatletter
\minted@define@opt{kwrename}{-F kwrenamefilter}{#1}
\makeatother

If your filter is just an on/off boolean, then something like this should work.

\makeatletter
\minted@define@switch{kwrename}{-F kwrenamefilter}
\makeatother

[brabalan]

I tried with this latex file (compiled with xelatex -shell-escape test.tex) and it does not work.

\documentclass[11pt]{article}
\usepackage{minted}
\usemintedstyle{emacs}
\makeatletter
\minted@define@switch{kwrename}{-F kwrenamefilter}
\makeatother

\begin{document}

This is a test of the filter.

\begin{minted}[kwrename]{coq}
Lemma foo : forall x, x -> x.
\end{minted}

\end{document}

I'm using the minted from texlive 2013. Is is recent enough?

[brabalan]

If you want to test, the filter is here: https://github.com/brabalan/kwrenamefilter

The output should be like this: "Lemma foo : ∀ x, x → x."

[gpoore]

Well, this turned out to be quite tricky. What I suggested would have worked in most cases, but it failed in this case because the substitution you were doing involved Unicode. You will need the latest version of minted.sty from GitHub (development version), because the version in TeX Live doesn't have encoding support. (If your operating system's native encoding is UTF8, things might work with your current version of minted.sty, but you would have to experiment.) You will also need to configure your document to work with the Unicode symbols you want. This preamble should work. You will need to adjust it for other symbols, or find a package that will define everything you want.

\usepackage{newunicodechar}
\newunicodechar{∀}{$\forall$}
\usepackage{minted}
\usemintedstyle{emacs}
\setminted{encoding=utf8}
\makeatletter
\minted@define@switch{kwrename}{-F kwrenamefilter}
\makeatother

By the way, pdflatex worked with this preamble:

\usepackage[T1]{fontenc}
\usepackage[utf8x]{inputenc}
\usepackage{minted}
\usemintedstyle{emacs}
\setminted{encoding=utf8}
\makeatletter
\minted@define@switch{kwrename}{-F kwrenamefilter}
\makeatother

[brabalan]

Thank you, this worked great.