Akim Demaille akim@epita.fr writes:
"Geoffroy" == Geoffroy Fouquier Geoffroy.Fouquier@lrde.epita.fr writes:
Je crois que rdiff sert surtout pour Tiger ; je propose donc « tc-diff » (à voir avec les utilisateurs de ce script, of course).
L'utilisation n'est absolument pas restreinte à tiger, ce serait dommage que le nom le fasse penser. Eventellement, on peut se contenter de Rdiff ?
Ne pas reposer sur des différences de casse !
Je proposai ça sur le modèle du script 'Prcs' déjà présent dans les scripts des lrdetools.
je vais utiliser ça faute de mieux pour pouvoir sortir le paquet debian. Il sera toujours possible de le modifier à nouveau après.
Hm. Ma news n'est pas passée ? Je propose diff-r, puisqu'il s'agit d'un diff -r amélioré. À terme, il devrait faire partie de xdiff, avec -r justement.
d'accord.