【linux】利用patch和diff命令制作文件补丁