John Covici, le lun. 02 nov. 2020 14:11:32 -0500, a ecrit: > not sure there is a way to undo the patch and put in a new one very > easily. The -R option is there for this: patch -p1 -R < ~/patch Samuel