-- Leo's gemini proxy
-- Connecting to freeshell.de:1965...
-- Connected
-- Sending request
-- Meta line: 20 text/gemini;lang=en-GB
> Patch a file (or files) with a diff file.
> Note that diff files should be generated by the `diff` command.
Apply a patch using a diff file (filenames must be included in the diff file):
patch < {patch.diff}
Apply a patch to a specific file:
patch {path/to/file} < {patch.diff}
Patch a file writing the result to a different file:
patch {path/to/input_file} -o {path/to/output_file} < {patch.diff}
Apply a patch to the current directory:
patch -p1 < {patch.diff}
Apply the reverse of a patch:
patch -R < {patch.diff}
> Copyright © 2014—present the tldr-pages team and contributors.
> This work is licensed under the Creative Commons Attribution 4.0 International License (CC-BY).
-- Response ended
-- Page fetched on Fri May 17 00:50:49 2024