La doc » Historique » Révision 3
« Précédent |
Révision 3/18
(diff)
| Suivant »
Geoffroy Desvernay, 12/04/2013 15:42
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 : LOGIN@scm.centrale-marseille.fr:/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 LOGIN@sas1.ec-m.fr
-
cat ~/.ssh/id_rsa.pub | ssh LOGIN@sas1.ec-m.fr '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://LOGIN@scm.centrale-marseille.fr/srv/git/PROJET/default.git .
h2. Commandes basiques de git
- Pour récupérer les "nouveautés" :
git pull
- Pour envoyer ses modifications :
git push
- Pour ajouter un fichier au projet :
git add <le_fichier>
- Pour enregistrer les modifications :
git commit <le_fichier>
- Pour plus de détails : http://www.siteduzero.com/informatique/tutoriels/gerez-vos-codes-source-avec-git
ps: merci Julien Enselme pour la rédaction initiale de cette page
Mis à jour par Geoffroy Desvernay il y a plus de 11 ans · 18 révisions verrouillé