Projet

Général

Profil

La doc » Historique » Version 2

Version 1 (Geoffroy Desvernay, 12/04/2013 15:40) → Version 2/18 (Geoffroy Desvernay, 12/04/2013 15:41)

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 <pre>{{toc}}</pre>, ce qui donne:

{{toc}}

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.

{{note(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 : LOGIN@scm.centrale-marseille.fr:/srv/git/PROJET/default.git

{{note(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 : <code>ssh-keygen</code>. 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:

* <code>cat ~/.ssh/id_rsa.pub >> ~/.ssh/authorized_key</code>

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

* <code>ssh-copy-id LOGIN@sas1.ec-m.fr</code>
* <code>cat ~/.ssh/id_rsa.pub | ssh LOGIN@sas1.ec-m.fr 'mkdir -m 700 -p ~/.ssh ; cat >> .ssh/authorized_keys'</code>

h2. Pour cloner le dépôt

# Se placer dans là où on veut cloner le dépôt
# Tapez : <code>git clone ssh://LOGIN@scm.centrale-marseille.fr/srv/git/PROJET/default.git .</code>

h2. Commandes basiques de git

* Pour récupérer les "nouveautés" : <code>git pull</code>
* Pour envoyer ses modifications : <code>git push</code>
* Pour ajouter un fichier au projet : <code>git add <le_fichier></code>
* Pour enregistrer les modifications : <code>git commit <le_fichier></code>
* Pour plus de détails : http://www.siteduzero.com/informatique/tutoriels/gerez-vos-codes-source-avec-git