Faire le tour
Maintenant que vous disposez d’une copie locale du Toolkit, examinons la structure du dépôt à l’aide de la commandels.
Run this
La commande
ls -l affiche une liste détaillée du contenu d’un répertoire, avec des informations supplémentaires sur les fichiers telles que les permissions, le propriétaire et la taille.Tous les fichiers de configuration appartenant à l’utilisateur se trouvent dans le répertoire
config/. Ce répertoire est exclu du système de gestion de versions git ; il ne sera donc pas modifié lors de la mise à jour du Toolkit.Organisation du dépôt
Le Toolkit ne modifiera aucune donnée du répertoire
config/ sans votre autorisation.Commandes
Exécutez ces scripts depuis le répertoire du Toolkit. Chacun affiche ses options avec--help.
Si chaque
bin/up déconnecte tous les utilisateurs, définissez OVERLEAF_SESSION_SECRET. Sans elle, les cookies de session sont signés avec un secret régénéré à chaque recréation du conteneur, voir les questions/réponses dans Variables d’environnement.
