diff

linux 下,我们有时候会想要给某个文件打 patch。若不使用 git 等工具，利用 linux 现成的工具，我们也能很容易搞定。