Akim Demaille akim@lrde.epita.fr writes:
"Nicolas" == Nicolas Pouillard nicolas.pouillard@gmail.com writes:
On 5/29/06, Akim Demaille akim@lrde.epita.fr wrote:
"Michaël" == Michaël Cadilhac michael.cadilhac@lrde.org writes:
Please don't use such headers. SVN $Id$ is here for you.
Et franchement, même ce dernier on n'en veut plus vraiment.
A bon ??
Quelles en sont les raisons ?
C'est quoi l'intérêt ? Aujourd'hui on a presque toujours une connexion à l'Internet, ou à défaut des outils qui marchent plutôt bien en off-line. Sans compter que maintenant on a un Id qui est plutôt globale au projet que locale au fichier. Du coup, un svn info ou genre fait très bien le métier.
Je n'ai jamais vu un cas où ça avait servi d'avoir cet Id.
Les fichiers de conf sur gentoo ont tous leur $Id$. Ça me permet, quand je reporte un bug dans un fichier de conf, de dire que c'est celui du 28 août 2005, modifié par Dave Wart. Tout le monde regarde alors le même fichier, mais je n'ai pas du tout la moindre idée d'où se trouve le repository SVN associé.
Je ne vois pas en quoi c'est différent pour l'utilisateur, mettons, de Vaucanson, qui aura téléchargé un snapshot, ./configure && make && make install, supprime la tarball et le répertoire, et utilise la bibliothèque jusqu'à (hopefully) plantage.