Projet

Général

Profil

La doc » Historique » Version 3

Geoffroy Desvernay, 12/04/2013 15:42

1 1 Geoffroy Desvernay
h1. L'usage du wiki
2
3
Pour créer une nouvelle page, il suffit de se rendre à l’adresse de la page que l’on veut créer.
4
5
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.
6
7 2 Geoffroy Desvernay
Pour ajouter une table des matières, entrez <pre>{{toc}}</pre>, ce qui donne:
8
9
{{toc}}
10 1 Geoffroy Desvernay
11
Vous pouvez aussi recevoir des notifications par mails en cliquant sur _watch_ ou _surveiller_.
12
13
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.
14
15
{{note(La syntaxe du wiki est documentée dans le lien "formatage du texte" disponible en haut à droite quand on édite une page)}}
16
17
h1. Dépôt git
18
19
Accessible par ssh, *avec des cles ssh uniquement*.
20
21
Adresse du dépôt git : LOGIN@scm.centrale-marseille.fr:/srv/git/PROJET/default.git
22
23
{{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))}}
24
25
h2. Les clés ssh
26
27
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.
28
29
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).
30
31
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):
32
33
* si la cle est dans votre compte:
34
35
 * <code>cat ~/.ssh/id_rsa.pub >> ~/.ssh/authorized_key</code>
36
37
* si elle est sur votre machine perso, **au choix** :
38
39
 * <code>ssh-copy-id LOGIN@sas1.ec-m.fr</code>
40
 * <code>cat ~/.ssh/id_rsa.pub | ssh LOGIN@sas1.ec-m.fr 'mkdir -m 700 -p ~/.ssh ; cat >> .ssh/authorized_keys'</code>
41
42
h2. Pour cloner le dépôt
43
44
# Se placer dans là où on veut cloner le dépôt
45
# Tapez : <code>git clone ssh://LOGIN@scm.centrale-marseille.fr/srv/git/PROJET/default.git .</code>
46
47
h2. Commandes basiques de git
48
49
* Pour récupérer les "nouveautés" : <code>git pull</code>
50
* Pour envoyer ses modifications : <code>git push</code>
51
* Pour ajouter un fichier au projet : <code>git add <le_fichier></code>
52
* Pour enregistrer les modifications : <code>git commit <le_fichier></code>
53
* Pour plus de détails : http://www.siteduzero.com/informatique/tutoriels/gerez-vos-codes-source-avec-git
54 3 Geoffroy Desvernay
55
{{note(ps: merci Julien Enselme pour la rédaction initiale de cette page)}}