Project

General

Profile

Actions

La doc » History » Revision 3

« Previous | Revision 3/18 (diff) | Next »
Geoffroy Desvernay, 04/12/2013 03:42 PM


h1. L'usage du wiki

Pour créer une nouvelle page, il suffit de se rendre à l’adresse de la page que l’on veut créer.

Pour créer une sous-page (ce qui permet d’avoir une relation parent/enfant entre les pages et de voir la relation dans Index par titre), créez les deux pages séparément. Ensuite, allez sur la page fille et cliquez sur renommer. Sélectionnez le nom de la page parent et sauvegardez.

Pour ajouter une table des matières, entrez

{{toc}}
, ce qui donne:

Vous pouvez aussi recevoir des notifications par mails en cliquant sur watch ou surveiller.

Pour ajouter des utilisateurs au projet : il faut se rapprocher du CRI. et ne pas le faire soi-même dans le projet, pour assurer la cohérence avec les accès au repository GIT.

La syntaxe du wiki est documentée dans le lien "formatage du texte" disponible en haut à droite quand on édite une page

h1. Dépôt git

Accessible par ssh, avec des cles ssh uniquement.

Adresse du dépôt git : :/srv/git/PROJET/default.git

L’encodage par défaut du dépôt est UTF-8. Faîtes-y attention surtout si l’encodage de votre système est différent (Vous êtes Windowsien par exemple)

h2. Les clés ssh

L'accès au dépôt se fait par les clés ssh autorisées dans vos comptes de l'école. La méthode est donnée sous Linux. Vous pouvez également procéder de même pour vous connecter en ssh à vos comptes personnels ou sur assos. Il faut juste adapter les dossiers et les machines.

Pour créer une paire de clé ssh, lancez la commande : ssh-keygen. Ceci crée deux fichiers dans votre ~/.ssh : id_rsa (votre clé privée à conserver précieusement) et id_rsa.pub (votre clé publique à transmettre).

Pour pouvoir utiliser votre cle publique ssh (~/.ssh/id_rsa.pub) dans le fichier authorized keys dans votre compte de l'école (eg: sur le sas):

  • si la cle est dans votre compte:

  • cat ~/.ssh/id_rsa.pub >> ~/.ssh/authorized_key

  • si elle est sur votre machine perso, au choix :

  • ssh-copy-id

  • cat ~/.ssh/id_rsa.pub | ssh 'mkdir -m 700 -p ~/.ssh ; cat >> .ssh/authorized_keys'

h2. Pour cloner le dépôt

Se placer dans là où on veut cloner le dépôt

Tapez : git clone ssh:///srv/git/PROJET/default.git .

h2. Commandes basiques de git

ps: merci Julien Enselme pour la rédaction initiale de cette page

Updated by Geoffroy Desvernay over 11 years ago · 18 revisions locked