Wednesday 8 July 2015

Créer un miroir de GitHub sur SourceSup

Ce billet fournit quelques pistes pour créer un miroir d’un projet de GitHub sur SourceSup. L’idée générale est que l’envoi des données par "git push" enverra les données sur GitHub, puis sur SourceSup, la duplication se faisant à partir du client (l’autre possibilité serait un "post-receive hook" mais GitHub ne le permet pas).

SourceSup force l’utilisation d’une paire de clés RSA pour se connecter (l’utilisation d’un login/password ne semble pas configurée). On génère la paire de clés avec "ssh-keygen -t rsa". Il est impératif de fournir une passphrase, sans elle la connexion sur SourceSup ne marchera jamais. Je conseille de donner un nom explicite à la clé, par exemple "sourcesup_rsa". La clé privée sera donc le fichier "sourcesup_rsa" et la publique "sourcesup_rsa.pub". Elles sont mises dans le répertoire correspondant à "~/.ssh/".

Il faut ensuite se connecter dans SourceSup sur "Mon compte" (en haut à droite actuellement). Dans la page, en bas, on voit "Éditer les clés". Il faut envoyer la clé publique, et attendre que l’indicateur dans la colonne "Prêt?" passe au vert (maximum une heure).

Cela va devenir technique. Dans un shell Unix (j’utilise "Git Bash" sous Windows), il faut ajouter la clé privée dans le programme "ssh-agent". Il faut d’abord arrêter l’agent SSH qui tourne par défaut car il renvoie systématiquement l’erreur "Could not open a connection to your authentication agent." Un petit "ps aux | grep ssh", un kill du thread, puis un "eval `ssh-agent -s`" permet de définir les variables d’environnement nécessaires à son fonctionnement. Il faut ensuite demander à l’agent SSH d’ajouter la clé avec "ssh-add ~/.ssh/sourcesup_rsa". Il doit nous demander la passphrase choisie précédemment, puis nous dire "Identity added". On peut vérifier que la clé est bien présente avec "ssh-add -l".

Il reste à configurer SSH pour qu’il utilise automatiquement les bonnes options. Il faut donc créer le fichier "~/.ssh/config" qui contient :

 Host git.renater.fr
   HostName git.renater.fr
   Port 2222
   User git
   IdentityFile /c/Users/gcolbert/.ssh/sourcesup_rsa.pub
   IdentitiesOnly yes

Note : l’option "IdentitiesOnly yes" est importante, elle limite les clés à essayer à celle indiquée dans "IdentityFile" juste au-dessus. Sans cette option, il semblerait que SSH cherche des clés privées à différents endroits sur le disque, et utilisera en dernier celle indiquée par "IdentityFile". Si par malheur il trouve plus que 5 clés qui ne marchent pas, c’est le serveur qui fermera la connexion, et il semblerait que la clé dans "IdentityFile" pourra alors ne pas être testée. J’écris ceci parce que je l’ai lu et que j’aime bien comprendre pourquoi on précise certaines options, mais je n’ai pas vérifié que le problème se posait vraiment.

Voici pour la partie SSH. Il reste à modifier la configuration de Git.

La commande "git remote -v" permet de visualiser la liste des "remotes", c’est-à-dire des dépôts distants Git. Normalement il doit y avoir deux lignes concernant GitHub, l’une pour "fetch" et l’autre pour "push". Chez moi l’alias s’appelle "origin" (nom par défaut).

Comme indiqué dans ce message sur StackOverflow, l’idée est de mettre en place deux "remotes" pour la commande "git push" :

git remote add -m master acem https://github.com/gcolbert/ACEM.git
git remote set-url --add --push acem https://github.com/gcolbert/ACEM.git
git remote set-url --add --push acem ssl://git@git.renater.fr:2222/acem.git

On peut vérifier que l’alias "acem" est bien associé à trois lignes avec "git remote -v", une "fetch" sur GitHub, une "push" sur GitHub et une "push" sur SourceSup.

L’utilisation quotidienne est simple :

  • Pour mettre à jour les deux dépôts, on utilisera "git push acem".
  • Pour mettre à jour seulement le dépôt GitHub, on utilisera "git push" comme précédemment (l’alias par défaut étant "origin", qui n’a pas été modifié).

Friday 3 April 2015

Utiliser les profils Spring

Pour utiliser les profils Spring (que j’ai nommés "auth-cas" et "auth-manual"), j’ai ajouté le profil par défaut ("auth-manual") dans web.xml avec le paramètre "spring.profiles.default" : <context-param>  […]

Continue reading

Saturday 18 October 2014

Bilan concours ITRF 2014

J’étais admissible à deux concours ITRF cette année : IGR 2ème classe, «Chef de projet ou expert en développement et déploiement d’applications»; IGE 2ème classe, «Ingénieur en développement et déploiement d’applications». Les notes pour l’admissibilité (étude de mon dossier professionnel,  […]

Continue reading

Sunday 12 January 2014

Le droit de ne pas écouter

«Tu n’écoutes vraiment pas ce qu’on dit !» Je crois que depuis que je suis né, on me fait ce reproche au moins une fois par an. Il m’arrive parfois, je ne saurais le nier, de poser une question alors que j’aurais déjà dû avoir entendu et mémorisé la réponse. Pris en flagrant délit de décrochage  […]

Continue reading

Thursday 7 November 2013

Savoir reconnaître une usine à gaz

L’expression «usine à gaz», en informatique, sert à qualifier un système informatique dont la structure semble excessivement complexe et dont la logique de fonctionnement résiste à la compréhension de l’informaticien. La métaphore peut sembler injuste, car elle s’intéresse non pas à la complexité  […]

Continue reading

Monday 23 September 2013

Qui est Tintin ?

Tintin est un héros particulièrement atypique car il n’a pas à proprement parler de personnalité : ce que l’on sait de lui est extrêmement limité. Il est apparemment célibataire, a un chien qui le suit partout, n’a pas de famille, n’a pas d’âge, n’exerce jamais son métier de journaliste, n’a pas de  […]

Continue reading

Thursday 23 May 2013

An IRI regex pattern for Java

Checking if a given string is an IRI (Internationalized Resource Identifier) is the kind of task nobody wants to do alone. It’s arguably tedious. Fortunately, this StackOverflow answer by user Eyelidlessness gives two patterns to parse absolute and relative IRIs using the Perl syntax. I copy them  […]

Continue reading

Monday 10 September 2012

Résoudre le gel d'Ubuntu 12.04

Un certain nombre d’utilisateurs d’Ubuntu 12.04 se plaignent que l’interface graphique se fige plus ou moins complètement sans aucune raison apparente. La différence entre le "plus" et le "moins" semblant être le curseur : chez certains il peut encore bouger, chez d’autres non,  […]

Continue reading

Thursday 28 June 2012

Le mode web-app de Safari Mobile

Avec Safari Mobile sur iPhone et iPad, il est possible de donner à une page web l’allure générale d’une application (cela signifie en particulier que l’espace occupé par la barre de navigation sera libéré). Il y a quelques petits trucs à savoir pour que le mode web-app fonctionne, et surtout  […]

Continue reading

Tuesday 19 June 2012

Tomcat SSL avec clé privée fournie

La configuration du protocole HTTPS dans Tomcat est, apparemment, bien documentée : http://tomcat.apache.org/tomcat-7.0-doc/ssl-howto.html Avant de se lancer dans la configuration, il faut savoir exactement dans quelle situation on se trouve. Il y en a (sauf erreur de ma part), deux : pour un  […]

Continue reading

Tuesday 12 June 2012

L'assassinat social ne prend que cinq minutes

Hier soir, vers 17h00, il est venu serrer la main de mes collègues, puis, alors que je tendais la mienne, il m’a dit «Tu peux venir, Grégoire? Il faut que je te parle, il y en a pour 5 minutes.» Il savait qui j’étais, il était là pour moi, il connaissait mon prénom. Il m’a emmené dans un bureau, m’a  […]

Continue reading

Thursday 27 October 2011

Économie, équilibre et justice sociale

De quoi ça parle? De la recherche d’une théorie économique permettant d’envisager la justice sociale… Deux généralités en guise d’introduction : il ne peut y avoir de justice sans équilibre, et il est plus facile de perdre l’équilibre que de le trouver. Conséquence immédiate : si les mots «justice  […]

Continue reading

Friday 14 October 2011

Le 1% ne se laissera pas faire

Qu’on se le dise, le 1% ne se laissera pas faire! Lien : We are the 99 percent

Saturday 10 September 2011

Le francophile et l'espérantiste

L’espérantiste Monsieur, je vais vous dire le fond de ma pensée.Si l’on fait, comme vous, un homme de papier,La langue Espéranto représente un danger.Mais l’homme sans attache, sans pays, sans passé,Puisqu’il ne saurait naître, ne saurait exister! Le francophile Le formule est jolie mais c’est une  […]

Continue reading

Sunday 14 August 2011

Le plutonium, un placement sûr et rentable

Artefarita Investments est un cabinet de gestion patrimoniale et de valorisation d’actifs en forte croissance depuis une génération. Notre engagement : si ce n’est pas un expert, c’est une professionnelle Nous sommes de bon conseil Souvenez-vous. Il y a quelques années, nous vous suggérions  […]

Continue reading

Friday 5 August 2011

Les hommes sérieux et la picoseconde

Il y a fort bien longtemps —je vous prie de me croire—, on trouvait des hommes sérieux qui prenaient des décisions sérieuses. Un groupe d’hommes sérieux (première moitié du XXIème siècle) Certains d’entre eux avaient pour mission, toute la journée, d’acheter et de vendre toutes sortes de choses :  […]

Continue reading

Wednesday 3 August 2011

L'Oncle Picsou entre la vie et la mort

La tragique nouvelle vient de tomber : Balthazar Picsou, ce sympathique milliardaire connu pour financer les aventures de ses petits-neveux Riri, Fifi et Loulou, est dans le coma. Il y a quelques années, ce fatécieux rentier posait pour Paris-Match Selon diverses sources, l’Oncle Picsou aurait fait  […]

Continue reading

Wednesday 6 July 2011

Olympique Cesson Escrime

Je viens de mettre en ligne la nouvelle version du site web de mon club d’escrime situé à l’Est de Rennes, l’Olympique Cesson Escrime. Mon expérience de DotClear m’a beaucoup aidé à terminer ce travail rapidement (3 jours). Le design est donc volontairement minimaliste. J’en retiens quelques petits  […]

Continue reading

Tuesday 14 June 2011

Un monde peu attractif

Je me suis inscrit sur un site de rencontres. Mais pas n’importe lequel, hein, j’ai choisi celui dont la publicité m’énervait le plus : Attractive World. La publicité en question nous présente des gens au physique alpha, prétendument célibataires, et ayant des Bac+5 en architecture et direction  […]

Continue reading

Sunday 1 May 2011

Le cinéma c'est du cinéma

Jean-Luc Godard aurait un jour déclaré : La photographie, c’est la vérité et le cinéma, c’est vingt-quatre fois la vérité par seconde… Pourtant, le cinéma raconte une histoire le plus souvent inventée dans laquelle des gens jouent un rôle et prononcent des mots écrits à l’avance dans des lieux  […]

Continue reading

- page 1 of 8