Différences

Ci-dessous, les différences entre deux révisions de la page.

--- 6_distributions:installation:texlive [2022/07/05 14:41] – [Comment installer des extensions avec le gestionnaire TeXLive?] <> → ⟨⟩ dbitouze
+++ 6_distributions:installation:texlive [2022/07/14 09:32] (Version actuelle) – Nom des packages pas en fonte à chasse fixe (pour l'homogénéité) dbitouze
@@ Ligne 1: / Ligne 1: @@
-====== Comment installer des extensions avec le gestionnaire TeXLive? ======
+====== Comment installer des extensions avec le gestionnaire TeX Live? ======
 Le //TeX Live manager// (''tlmgr'') est le gestionnaire d'extensions de <latex>\TeX</latex> Live.
@@ Ligne 49: / Ligne 49: @@
 D'autres interfaces ont été développées, utilisables sur toutes les plateformes:
   * ''tlshell'', qui semble être installée par défaut par <latex>\TeX</latex> Live sous Windows et MacOS X;
-  * ''[[ctanpkg>tlcockpit]]'', écrite en Java (il vous faudra donc Java installé sur votre machine).
+  * [[ctanpkg>tlcockpit]], écrite en Java (il vous faudra donc Java installé sur votre machine).
 De façon intuitive, ces interface se lanceront avec les commandes
 <code bash>
@@ Ligne 57: / Ligne 57: @@
 </code>
 ou
 <code bash>