<?xml version="1.0"?>
<rss xmlns:php="http://php.net/xsl" xmlns:atom="http://www.w3.org/2005/Atom" version="2.0"><channel><title>Formater avec GNU diff - Chicoree</title><link>http://www.chicoree.fr/w/Formater_avec_GNU_diff</link><atom:link href="http://www.chicoree.fr/w/Formater_avec_GNU_diff?action=toFeed" rel="self" type="application/rss+xml"/><description><![CDATA[L'utilitaire diff est un outil standard des systèmes Unix-like. Son rôle est de comparer deux fichiers textes pour en faire apparaitre les différences. Plus formellement, diff produit un script permettant de transformer un des deux fichiers originaux pour obtenir le second.
Cette possibilité est exploitée par certains systèmes de gestion de versions comme SCCS pour ne stocker que les différences entre les versions successives d'un même fichier. De la même manière, plutôt que de transmettre à un collègue un fichier modifié, il est possible de juste lui envoyer un patch contenant les modifications que vous avez apportées.
]]></description><item><title>1 Usage de base</title><link>http://www.chicoree.fr/w/Formater_avec_GNU_diff#Usage_de_base</link><description><![CDATA[<p>Pour illustrer l'utilisation de base de <i>diff</i>, voici un exemple. J'ai dans mon dossier courant deux versions différentes d'un fichier <i>makefile</i>. L'original, appelé <i>makefile.v1</i> et une version modifiée appelée <i>makefile.v2</i>:
</p>]]></description></item><item><title>2 Utilisation créative</title><link>http://www.chicoree.fr/w/Formater_avec_GNU_diff#Utilisation_cr.C3.A9ative</link><description><![CDATA[<p>Après ce rappel sur la commande <i>diff</i>, voyons maintenant le cœur de cet article. À savoir comment utiliser de manière créative <i>diff</i>. En l'occurrence pour pouvoir générer un document HTML mettant en évidence les différences entre deux versions d'un fichier.
</p>]]></description></item><item><title>3 Produire du HTML avec diff</title><link>http://www.chicoree.fr/w/Formater_avec_GNU_diff#Produire_du_HTML_avec_diff</link><description><![CDATA[<p>En utilisant les options introduites précédemment, il est possible de produire un résultat en HTML:
</p>]]></description></item></channel></rss>
