patch

Auteur: Ikipou

Sommaire

La commande patch permet d'appliquer un fichier de patch à un ou plusieurs fichiers sources. Une utilisation courante de patch est la mise à jour des sources du noyau Linux, mais beaucoup d'autres logiciels proposent des patchs pour ajouter des fonctionnalités ou corriger des bugs.

Le patch est généralement généré à l'aide de la commande diff et reprend les différences entre deux versions de fichier. C'est donc un fichier moins volumineux que l'ensemble complet de source et qui peut être appliqué à un ensemble équivalent de source (comprendre un patch s'utilise sur une version précise du logiciel à patcher).

Exemple

Le moyen plus facile pour appliquer un patch est simplement d'envoyer le contenu du patch dans l'entrée standard du programme patch:

cd /usr/linux/linux-2.6.19-Ikipou
patch -p1 < patch-2.6.20

ou

cd /usr/linux/linux-2.6.19-Ikipou
bzip2 -dc patch-2.6.20.bz2 | patch -p1

L'option importante est -p qui précise combien de niveaux de repertoires patch doit remonter vis à vis du chemin du fichier diff.

Dans un parallélépipède rectangle se déplaçant le long d'une ligne
droite d'équation 84x + S = y, un homoïde A présentant une calotte
sphérique entourée de deux sinusoïdes, au dessus d'une partie
cylindrique de longueur l > n, présente un point de contact avec un
homoïde trivial B. Démontrer que ce point de contact est un point de
rebroussement. Si l'homoïde A rencontre un homoïde homologue C, alors
le point de contact est un disque de rayon r > l. Déterminer la hauteur
h de ce point de contact par rapport à l'axe vertical de l'homoïde A...
-+- Raymond Queneau, Exercices de style -+-