git pour modifier le wikiLe wiki du cours fonctionne grâce à ikiwiki. Ce moteur de wiki utilise git pour stocker les révisions faites sur les pages du site (voir par exemple la page RecentChanges du wiki et cliquer sur les lunettes pour voir les diverses modifications faites au wiki).
La machine hôte redirige son port 2261 vers le port 22 (correspondant au protocole SSH) du conteneur qui héberge le wiki. Ainsi, il est possible de profiter de son adresse IPv4 publique pour modifier le wiki grâce à git.
Une interface expérimentale entre gitolite et ikiwiki a été mise en place pour vous permettre de consulter et modifier le wiki directement via git (vos clefs publiques SSH ont été autorisées).
Assurez-vous que votre fichier ~/.gitconfig contient bien votre prénom et votre nom, ainsi que votre adresse mail universitaire prenom.nom@edu.univ-paris13.fr.
Clonez le contenu du wiki (la syntaxe ssh:// permet de spécifier le port inhabituel) :
$ git clone ssh://git@sysadmin2022.netlib.re:2261/wiki.gitObservez que le remote origin correspond à ce dépôt distant en observant le contenu du fichier .git/config.
Observez les fichiers du répertoire de travail, le nom des pages, les fichiers du répertoire des tags et leurs noms approximatifs, etc.
Modifiez votre page personnelle, et poussez vos changements sur le dépôt distant (avec la commande git push origin master). Vérifiez que ceux-ci ont bien été pris en compte en consultant le wiki depuis un navigateur web.
Lorsque vous voulez modifier une page, commencez par récupérer le dernier état de la branche master (avec la commande git pull origin master) de sorte à travailler à partir de la version la plus récente du wiki.
Une fois que vous avez modifié le wiki grâce à git, vous pouvez ajouter gitwiki à vos tags (en utilisant git !).