Skip to content

Un dépôt local pour Miktex

5 octobre 2012

Miktex est une version de Latex pour Windows (http://miktex.org). Il existe même un version portable.

Il est possible de le coupler avec un éditeur dédié, comme Texcenter ou Texmaker. Lors de l’utilisation de package dans latex \usepackage{}, il faut parfois en installer de nouveaux. Par défaut Miktex va essayer d’atteindre un dépôt sur le net. Cependant, cela n’est pas toujours possible.

Il est possible pour palier à ce problème de construire un dépôt local.

Pour cela, il faut aller récupérer les paquets sur les dépôts officiels (la liste des dépôts http://miktex.org/pkg/repositories) et placer ceux voulus dans un répertoire. Pour ma part, j’ai pris le paquet : mptopdf.tar.lzma. Et je l’ai placé dans le répertoire miktex_repo.

Afin que ce dépôt soit reconnu en tant que tel par Miktex , il faut placer deux autres paquets :

  • miktex-zzdb2-X.X.tar.lzma
  • miktex-zzdb1-X.X.tar.lzma

Où X.X indique votre version de Miktex (2.9 pour moi).

Lors de la compilation de votre fichier Tex, Miktex va automatiquement vous demander de télécharger les nouveaux paquets. Il faut alors lui indiquer que vous voulez utiliser un dépôt local et où il se situe.

 

2 commentaires leave one →
  1. 7 octobre 2012 23 h 02 mi

    Idem pour moi, TeXnicCenter me fait signe qu’il manque l’application laTex dans le répertoire que je lui indique (là où j’ai installé MikTex). Pourtant, l’installation (j’ai bien suivi le tuto) se passe bien (pas de message d’erreur). Une idée?

    • 8 octobre 2012 19 h 31 mi

      Indiques-tu le répertoire bin sous Miktex?

Laisser un commentaire

Entrez vos coordonnées ci-dessous ou cliquez sur une icône pour vous connecter:

Logo WordPress.com

Vous commentez à l'aide de votre compte WordPress.com. Déconnexion / Changer )

Image Twitter

Vous commentez à l'aide de votre compte Twitter. Déconnexion / Changer )

Photo Facebook

Vous commentez à l'aide de votre compte Facebook. Déconnexion / Changer )

Photo Google+

Vous commentez à l'aide de votre compte Google+. Déconnexion / Changer )

Connexion à %s

%d blogueurs aiment cette page :