Akim Demaille <akim(a)epita.fr> writes:
>>
"Geoffroy" == Geoffroy Fouquier <Geoffroy.Fouquier(a)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.
--
Geoffroy Fouquier
Geoffroy.Fouquier(a)lrde.epita.fr