Technologies du logiciel
From Eric
(Difference between revisions)
m |
m |
||
| (One intermediate revision not shown) | |||
| Line 1: | Line 1: | ||
| - | |||
| - | + | = GIT = | |
| - | + | == Installation == | |
Pas de problème particulier : suivre les indications du site. Installer aussi "Gitosis". | Pas de problème particulier : suivre les indications du site. Installer aussi "Gitosis". | ||
| Line 10: | Line 9: | ||
La création de la paire (clé privée, clef publique) s'effectue avec la commande suivante : | La création de la paire (clé privée, clef publique) s'effectue avec la commande suivante : | ||
ssh-keygen -t rsa -C "username@usermachine" | ssh-keygen -t rsa -C "username@usermachine" | ||
| - | Cette commande crée un fichier nommé "id_rsa.pub" qui contient la clef publique de l'utilisateur | + | Cette commande crée un fichier nommé "id_rsa.pub" qui contient la clef publique de l'utilisateur. C'est ce fichier qu'il faudra copier sur le serveur, dans le répertoire "gitosis_admin" (voir plus loin). |
sudo -H -u git gitosis-init < .ssh/id_rsa.pub | sudo -H -u git gitosis-init < .ssh/id_rsa.pub | ||
| Line 18: | Line 17: | ||
cd gitosis-admin/ | cd gitosis-admin/ | ||
On place l'ensemble des clefs publiques des utilisateurs : | On place l'ensemble des clefs publiques des utilisateurs : | ||
| - | mv ~ | + | mv ~id_rsa.pub keydir |
| - | + | git add keydir/id_rsa.pub | |
On rajoute les projets et les utilisateurs. Voici un exemple de fichier : | On rajoute les projets et les utilisateurs. Voici un exemple de fichier : | ||
emacs gitosis.conf | emacs gitosis.conf | ||
| Line 36: | Line 35: | ||
On valide les modifications : | On valide les modifications : | ||
| - | git commit -a -m "Created | + | git commit -a -m "Created projects and groups" |
git push | git push | ||
| - | + | C'est prêt. A partir de là, on peut par exemple travailler sur le projet "Propeller" : | |
| - | + | git clone git@192.168.0.4:Propeller.git | |
| - | + | cd Propeller | |
| - | + | ls | |
| + | |||
| + | == Création et publication d'un projet == | ||
Les commande suivantes créées le projet "Propeller" et y ajoute le fichier "README". Ces commandes supose que l'utilisateur a installé sa clef privées sur le serveur ('ici, la machine 192.168.0.4). | Les commande suivantes créées le projet "Propeller" et y ajoute le fichier "README". Ces commandes supose que l'utilisateur a installé sa clef privées sur le serveur ('ici, la machine 192.168.0.4). | ||
| Line 57: | Line 58: | ||
| - | + | = Ocaml = | |
* Un parseur XML simple et efficace en ocaml :[http://tech.motion-twin.com/xmllight.html xml-light]. | * Un parseur XML simple et efficace en ocaml :[http://tech.motion-twin.com/xmllight.html xml-light]. | ||
| - | + | = UML et les langages d'action = | |
* Concernant une définition de la sémantique d'exécution d'UML, voir fUML. Le langage d'action correspondant (c'est-à-dire s'appuyant sur fUml) s'appelle Alf, il est en cours de standardisation par l'OMG (voir le [http://www.omg.org/spec/ALF/1.0/Beta1 draft]). Plusieurs [http://www.slideshare.net/seidewitz présentations d'Ed Seidewitz] décrivent l'objectif d'Alf et ses relations avec fUMl. | * Concernant une définition de la sémantique d'exécution d'UML, voir fUML. Le langage d'action correspondant (c'est-à-dire s'appuyant sur fUml) s'appelle Alf, il est en cours de standardisation par l'OMG (voir le [http://www.omg.org/spec/ALF/1.0/Beta1 draft]). Plusieurs [http://www.slideshare.net/seidewitz présentations d'Ed Seidewitz] décrivent l'objectif d'Alf et ses relations avec fUMl. | ||
Latest revision as of 14:45, 17 February 2012
Contents |
GIT
Installation
Pas de problème particulier : suivre les indications du site. Installer aussi "Gitosis".
L'installation de git et gitosis achevées, il faut déclarer les utilisateurs et les projets. Un utilisateur ne peut utiliser git que si sa clef publique est installée dans gitosis.
La création de la paire (clé privée, clef publique) s'effectue avec la commande suivante :
ssh-keygen -t rsa -C "username@usermachine"
Cette commande crée un fichier nommé "id_rsa.pub" qui contient la clef publique de l'utilisateur. C'est ce fichier qu'il faudra copier sur le serveur, dans le répertoire "gitosis_admin" (voir plus loin).
sudo -H -u git gitosis-init < .ssh/id_rsa.pub sudo chmod 755 /home/git/repositories/gitosis-admin.git/hooks/post-update
On clone le repository
git clone git@192.168.0.4:gitosis-admin.git cd gitosis-admin/
On place l'ensemble des clefs publiques des utilisateurs :
mv ~id_rsa.pub keydir git add keydir/id_rsa.pub
On rajoute les projets et les utilisateurs. Voici un exemple de fichier :
emacs gitosis.conf
Ce fichier contient la déclaration des utilisateurs et des projets (entre autres...) :
[gitosis]
[group gitosis-admin] members = eric@file-server writable = gitosis-admin
[group home] members = eric@file-server username@usermachine writable = Dvpmt writable = Propeller
On valide les modifications :
git commit -a -m "Created projects and groups" git push
C'est prêt. A partir de là, on peut par exemple travailler sur le projet "Propeller" :
git clone git@192.168.0.4:Propeller.git cd Propeller ls
Création et publication d'un projet
Les commande suivantes créées le projet "Propeller" et y ajoute le fichier "README". Ces commandes supose que l'utilisateur a installé sa clef privées sur le serveur ('ici, la machine 192.168.0.4).
mkdir Propeller cd Propeller/ git init git remote add origin git@192.168.0.4:Propeller.git touch README git add README git commit -a -m 'Creation' git push origin master:refs/heads/master
Ocaml
- Un parseur XML simple et efficace en ocaml :xml-light.
UML et les langages d'action
- Concernant une définition de la sémantique d'exécution d'UML, voir fUML. Le langage d'action correspondant (c'est-à-dire s'appuyant sur fUml) s'appelle Alf, il est en cours de standardisation par l'OMG (voir le draft). Plusieurs présentations d'Ed Seidewitz décrivent l'objectif d'Alf et ses relations avec fUMl.
