diff --git a/pages/common/patch.md b/pages/common/patch.md new file mode 100644 index 000000000..70e900fa6 --- /dev/null +++ b/pages/common/patch.md @@ -0,0 +1,16 @@ +#patch + +> Patch a file (or files) with a diff file. +> Note that diff files contain both the target filenames and list of changes. + +- apply a patch + +`patch < {{patchfile}}.diff` + +- apply a patch to current directory + +`patch -p1 < {{patchfile}}.diff` + +- apply the reverse of a patch + +`patch -R < {{patchfile}}.diff`