La classe standalone Avant de commencer à dessiner des figures avec TikZ, il est important de savoir que la classe standalone est très utile pour créer des images TikZ. Elle permet de créer des images sous forme de fichiers pdf qui peuvent être inclus dans un document LaTeX avec la commande \includegraphics. Le code suivant permet de créer un pdf d’une seule page dont la taille est ajustée au contenu (ici le texte, mais cela fonctionne aussi avec une image TikZ)....
Git 3 : Création d'un site web
Objectifs Créer un site web statique avec Git et Gitlab Pages de l’université de Lille. Création d’un site web en éditant des pages html Création d’un dépôt Normalement votre login est de la forme prenom.nom et un dépôt nomé projet permet de créer un site web accessible à l’adresse prenom.nom.gitlabpages.univ-lille.fr/projet/. Sauf si le projet est nommé prenom.nom.gitlabpages.univ-lille.fr, comme le domaine (la partie avant le premier /), alors le site sera accessible à la racine, c....
Git 2 : historique et serveurs distants
Historique Les états possibles d’un fichier git status pour voir l’état des fichiers ; les fichiers peuvent être : ignorés (ignored) : fichiers qui sont dans le fichier .gitignore et qui sont « invisibles » pour git (voir plus bas), non suivis (untracked) : fichiers qui n’ont jamais été ajoutés à l’index (ceci est un état temporaire, ils deviendront suivis ou ignorés normalement), suivis (tracked) : fichiers qui ont été par le passé ajoutés à l’index, est qui sont maintenant dans l’un des états suivants : non modifiés (unmodified) : qui sont identiques à la dernière version du dépôt et dans l’index, modifiés (modified) : fichiers qui ont été modifiés depuis le dernier ajout à l’index, indexés (staged) : qui sont identiques à la dernière version de l’index, mais qui ont été modifiés depuis le dernier commit....
Git 1 : introduction
À quoi ça sert ? Un projet (latex, python, etc.) est composé de plusieurs fichiers dans un répertoire et ses sous-répertoires qui évoluent au cours du temps. Git permet : à gérer les versions d’un projet (historique des modifications) ; à partager un projet sur internet (github, gitlab, etc.) ; à travailler à plusieurs sur un même projet ; à travailler sur plusieurs ordinateurs (maison, bureau, portable, etc.) ; à créer une page web (github ou gitlab pages)....