Centre d’aide
Des guides clairs et pratiques pour rédiger, compiler et partager des projets LaTeX et Typst.
Git, GitHub et WebDAV
Faire circuler les fichiers du projet via Git, ou les synchroniser avec GitHub et un stockage externe.
Choisir la bonne connexion
Choisissez Git, la synchronisation GitHub ou WebDAV selon les habitudes de votre équipe. Ces connexions sont proposées avec les offres Éducation, Plus et Pro.
Étapes
- Prenez Git pour avoir le projet sur votre machine avec votre flux en ligne de commande habituel.
- Prenez la synchronisation GitHub quand la référence est un dépôt que votre équipe relit et publie déjà.
- Prenez WebDAV quand le projet doit atterrir sur un stockage institutionnel ou personnel plutôt que chez un hébergeur de code.
- Rien n'empêche de les combiner, mais décidez quel côté fait foi avant de brancher le second.
- L'offre prise en compte diffère : l'accès Git dépend de votre propre offre, tandis que les synchronisations GitHub et WebDAV dépendent de celle du propriétaire du projet.
- Pour partir de fichiers qui se trouvent déjà ailleurs, choisissez Importer depuis GitHub ou WebDAV sur le tableau de bord. Un projet est créé à partir d'une branche de dépôt ou d'un dossier WebDAV et y reste connecté.
Mettre en place la connexion
Préparez les identifiants adaptés au type de connexion, puis configurez-la dans le projet à synchroniser.
Étapes
- Pour Git en ligne de commande, ouvrez Jetons d’accès dans les paramètres du compte et créez un jeton Git. Dans le projet, dépliez Git, copiez l'URL du dépôt ou la commande de clonage, et utilisez le jeton comme mot de passe HTTP Basic. Les lecteurs peuvent cloner et tirer ; propriétaires et éditeurs peuvent aussi pousser sur main.
- Un push en retard sur le projet est fusionné automatiquement lorsque vos collaborateurs et vous avez modifié des fichiers différents. Lorsque le même fichier a été modifié des deux côtés, le push est rejeté et indique les chemins concernés : lancez git pull, résolvez, puis poussez à nouveau.
- Pour la synchronisation GitHub, ouvrez Connexions externes dans les paramètres du compte, connectez GitHub et installez la GitHub App JointTex sur les dépôts choisis. Ouvrez ensuite GitHub dans les Connexions externes du projet, choisissez un dépôt et une branche existants, examinez l'aperçu complet des changements et confirmez la synchronisation manuelle.
- JointTex synchronise toute la racine du dépôt, à l'exception de .github/workflows. Un dépôt qui contient des sous-modules ne peut pas être synchronisé. La synchronisation est toujours manuelle : un changement sur GitHub est seulement signalé dans le projet jusqu'à ce que vous choisissiez Vérifier et synchroniser.
- Pour utiliser un nouveau dépôt, choisissez Créer un dépôt sur GitHub, accordez si nécessaire à la GitHub App l'accès à ce dépôt, puis Actualiser les dépôts. Pour un dépôt vide, JointTex crée la branche lors de la première synchronisation.
- Pour WebDAV, enregistrez un profil réutilisable sous Paramètres du compte › Connexions externes avec l'URL du dossier racine, l'identifiant et un mot de passe d'application, ou saisissez des identifiants pour un seul projet. Choisissez le dossier du projet, testez la connexion, examinez la première synchronisation, puis connectez.
Garder WebDAV synchronisé
Un dossier WebDAV n'est contacté que lorsqu'il y a une raison de le faire : un changement présent uniquement côté distant attend donc la synchronisation suivante.
Étapes
- Utilisez Synchroniser pour récupérer des changements présents uniquement côté WebDAV. La synchronisation automatique WebDAV, optionnelle, ne se déclenche qu'après une modification côté JointTex ; trois échecs consécutifs la mettent en pause jusqu'à une synchronisation manuelle réussie.
- Si le premier aperçu montre des conflits, la connexion ne modifie aucun fichier ; examinez les conflits une fois la connexion créée.
- Des identifiants saisis pour un seul projet peuvent être conservés plus tard pour d'autres projets avec Enregistrer comme profil du compte.
Résoudre les conflits et gérer les accès
En cas de conflit, examinez les différences avant de choisir la version à garder. Les droits suivent les rôles du projet.
Étapes
- Si GitHub ou WebDAV signale un conflit, aucune modification de fichier n'est appliquée par cette synchronisation.
- Ouvrez Vérifier les conflits, comparez les deux versions, choisissez le côté à garder — ou les deux quand c'est proposé — et validez chaque décision ; JointTex revérifie les deux côtés avant d'écrire.
- Utilisez Appliquer à tous les fichiers compatibles pour faire un seul choix pour de nombreux fichiers. Un fichier qui ne peut pas être affiché sous forme de diff texte peut être téléchargé dans ses deux versions avant votre décision.
- Le propriétaire configure ou déconnecte GitHub et WebDAV ; propriétaires et éditeurs synchronisent et résolvent les conflits, les lecteurs consultent l'état.
- Si vous déconnectez avec des conflits non résolus, les deux versions restent téléchargeables pendant 30 jours sous Archives de conflits récentes, mais elles ne peuvent plus être appliquées automatiquement.
- Déconnectez les projets inutilisés avant de retirer un compte GitHub ou un profil WebDAV.