Cómo aplicar un fichero parche sobre código fuente en LINUX / UNIX

A menudo me he encontrado con que, para corregir un bug de un programa o simplemente añadir una funcionalidad nueva, basta con aplicar un parche (patch) al código fuente. En Linux / UNIX disponemos de un comando llamado patch que aplica un fichero diff o patch a un fichero de código fuente. El comando patch utiliza un fichero patch que incluye una serie de diferencias, generadas por un programa diff, y aplica estas diferencias a uno o más ficheros originales, produciendo versiones parcheadas. El siguiente uso es el más común:
$ patch -p1 < {/ruta/al/fichero/patch}
Para aplicar un parche, se puede correr el siguiente comando en una consola:
$ patch < /ruta/al/fichero
Los parches se pueden deshacer, o revertir, con la opción -R:
$ patch -R < /ruta/al/fichero
Estos son tres casos básicos de utilización del comando patch. Para más información:
% man patch

Enlace

Publicaciones Similares

  • Cómo crear una cabecera de licencia en Netbeans

    Escenario Un encabezado en los ficheros de código puede ser un requisito del trabajo o del proyecto de código abierto al que contribuyes. O sencillamente te gusta que tus ficheros de código dispongan de un impronta común. Problema En realidad ninguno. Supongo que la mayoría de los editores modernos ofrecen la posibilidad de usar una…

  • Sonata Admin: el calendario no se cierra

    Escenario Incluir un filtro de rango de fechas en SonataAdmin que use un calendario para seleccionar la fecha es más o menos fácil. Primero añadimos el siguiente bloque en el admin de nuestra entidad:

    Y la siguiente clave bajo form_themesen el fichero config/packages/twig.yaml:

    Problema El calendario no se cierra automáticamente cuando se selecciona…

  • cURL error 60: SSL certificate problem: unable to get local issuer certificate

    Escenario Todo empezó con el aviso de un proveedor. Un plugin de WordPress fallaba con el siguiente error: cURL error 60: SSL certificate problem: unable to get local issuer certificate Problema Una búsqueda rápida con Google me lleva a la conclusión de que hay que editar el fichero de configuración php.ini. A fin de averiguar…

Deja una respuesta

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *