2015-10-22 08:31:52 +01:00
|
|
|
# patch
|
2014-10-25 12:20:07 +01:00
|
|
|
|
2014-10-28 19:27:51 +00:00
|
|
|
> Patch a file (or files) with a diff file.
|
|
|
|
|
> Note that diff files contain both the target filenames and list of changes.
|
2014-10-25 12:20:07 +01:00
|
|
|
|
|
|
|
|
- apply a patch
|
|
|
|
|
|
|
|
|
|
`patch < {{patchfile}}.diff`
|
|
|
|
|
|
|
|
|
|
- apply a patch to current directory
|
|
|
|
|
|
|
|
|
|
`patch -p1 < {{patchfile}}.diff`
|
|
|
|
|
|
2014-10-29 08:25:50 +00:00
|
|
|
- apply the reverse of a patch
|
2014-10-25 12:20:07 +01:00
|
|
|
|
|
|
|
|
`patch -R < {{patchfile}}.diff`
|
