|
Depuis un certain temps, à la suite d'une mise à jour de TexLive, mes fichiers texdoc.cnf n'ont plus la priorité sur celui de la texlive: /home/laguilde/texmf/texdoc/texdoc.cnf = viewer_pdf = xpdf -g 1920x1080 %s & /usr/local/texlive/eric/texdoc.cnf = viewer_pdf = xpdf -g 1920x1080 %s & /usr/share/texlive/texmf-dist/texdoc/texdoc.cnf = viewer_pdf = (xdg-open %s) & active /usr/local/texlive/texmf-local/texmf-dist/texdoc/texdoc.cnf = #viewer_pdf... (commentés) Je veux xpdf, mais il utilise obstinément xdg-open. (il y a déjà eu d'autres mises à jour de TexLive depuis ce changement de comportement) |
|
${TEXMF}/eric/texdoc/texdoc.cnf et ça marche. Mon erreur était d'avoir écrit: ${TEXMF}/eric/texdoc.cnf en oubliant le répertoire texdoc! |
Que donne
texdoc -f?@Denis $texdoc -f
/usr/local/texlive/texmf-local/texmf-dist/scripts/texdoc/texdoclib.tlu 3.3.1
Configuration file(s):
Recommended file(s) for personal settings:
Mais je viens de voir /usr/share/texlive/texmf-dist/texdoc/texdoc.cnf là ou je présumais /usr/local/texlive/texmf-dist/texdoc/texdoc.cnf
C'est donc sans doute un fichier de Debian et non de la TexLive qui est en question Le pb vient sans doute de cette double installation.
J'ai désinstallé les paquets Debian de TexLive et les paquets qui en dépendaient, mais la situation est identique. Sans doute un redémarrage -- ou une solution moins radicale -- est-il nécessaire.