Technologies du logiciel
From Eric
m |
m |
||
(4 intermediate revisions not shown) | |||
Line 1: | Line 1: | ||
- | |||
- | === | + | = 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. | ||
- | === UML et les langages d'action | + | 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 :[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.