Bon, je m'y suis collé.

J'ai la solution ultime (en toute modestie ;-) de sauvegarde sur CD-R pour des particuliers. Ca crée une session qui contient des liens symboliques vers tous les fichiers qui n'ont pas changé, et les fichiers modifiés dans leur intégralité. (Ah, du coup, c'est du RockRidge, peu de chance d'en sortir quoi que ce soit sous Windows.)

Pour l'instant, c'est un script perl + gtk2 tout pourrave, mais je vais l'améliorer, promis ... Justement, pour l'améliorer, (…)

J'ai un accès webdav HTTP ou HTTPS, au choix, qui marche sur un serveur.

J'ai un tla 1.2 qui arrive a accéder à une archive via Webdav en HTTP normal.

Quand j'essaye d'accéder à la même archive en HTTPS, il me dit

webdav error: 400 Bad Request

Et en regardant dans le source et en jouant un peu du gdb, je vois qu'il a essayé d'accéder au serveur sans webdav.

Est-ce que quelqu'un a déjà réussi à faire marcher tla (…)

Ca y est, après quelques mois de développement acharné, l'interface Emacs pour tla, le client GNU Arch "canonique" arrive en phase de gel de fonctionnalité, dernière ligne droite avant la version 1.0.

GNU Arch, c'est un très bon gestionnaire de versions. On en a déjà parlé ici : http://linuxfr.org/2004/02/29/15563.html(...) , et l'URL importante, c'est http://www.gnuarch.org/(...) (enfin, au moment ou je parle, c'est tout cassé, mais le wiki http://wiki.gnuarch.org/(...) est opérationnel, lui).

On peut comparer Xtla à PCL-CVS, pour ceux qui (…)

Cher journal,

Je t'écris pour te présenter mon nouveau bébé. Il s'appelle Pinapa (Pinapa Is Not a PArser - faut pas oublier les vieilles traditions d'acronymes récursifs), sa passion dans la vie, c'est de manger du SystemC [1] et de recracher une structure abstraite. Bref, c'est l'équivalent d'un front-end de compilateur pour un langage, sauf que SystemC n'est pas vraiment un langage.

Pinapa a été développé dans le cadre de ma thèse, dans un projet commun entre Verimag [2] et (…)