En effet, il faut faire le remplacement par darcs replace au lieu de sed. darcs replace ne commite (record dans le jargon darcs) pas le changement immédiatement, il fait juste le remplacement dans le répertoire de travail, et modifie un fichier qui va bien pour qu'au prochain record, darcs sache qu'il s'agit d'un remplacement, et pas d'une édition normale. On pourrait imaginer détecter ça automatiquement, mais à l'usage, c'est pas gênant de devoir utiliser darcs replace.
[^] # Re: Petite question
Posté par galbolle . En réponse à la dépêche Sortie de darcs 2.8. Évalué à 4.
En effet, il faut faire le remplacement par
darcs replaceau lieu de sed.darcs replacene commite (record dans le jargon darcs) pas le changement immédiatement, il fait juste le remplacement dans le répertoire de travail, et modifie un fichier qui va bien pour qu'au prochain record, darcs sache qu'il s'agit d'un remplacement, et pas d'une édition normale. On pourrait imaginer détecter ça automatiquement, mais à l'usage, c'est pas gênant de devoir utiliserdarcs replace.