...
The easiest way to apply a patch is by using the Linux patch
command. For information on what the patch
command does and all of its options, take a look at man patch
from a Linux machine.
TODO: More detail needed
In general, you most likely will want to run a command _similar_ to the following from your \ [dspace-source\] directory (but see the _Important Hints_ below, before running anything\!): Wiki Markup
Code Block |
---|
patch -p0 < mypatch.txt |
...