2018-09-16 17:24:07 +00:00
|
|
|
#!/usr/bin/env python
|
|
|
|
|
2019-08-23 22:48:27 +00:00
|
|
|
import codecs
|
2018-09-14 05:02:16 +00:00
|
|
|
import os
|
|
|
|
|
|
|
|
|
2018-10-24 18:24:11 +00:00
|
|
|
def read_patch(patch_dir, patch_filename):
|
|
|
|
"""Read a patch from |patch_dir/filename| and amend the commit message with
|
|
|
|
metadata about the patch file it came from."""
|
|
|
|
ret = []
|
2019-10-28 14:02:16 +00:00
|
|
|
patch_path = os.path.join(patch_dir, patch_filename)
|
|
|
|
with codecs.open(patch_path, encoding='utf-8') as f:
|
2018-10-24 18:24:11 +00:00
|
|
|
for l in f.readlines():
|
|
|
|
if l.startswith('diff -'):
|
|
|
|
ret.append('Patch-Filename: {}\n'.format(patch_filename))
|
|
|
|
ret.append(l)
|
|
|
|
return ''.join(ret)
|
|
|
|
|
|
|
|
|
|
|
|
def patch_from_dir(patch_dir):
|
|
|
|
"""Read a directory of patches into a format suitable for passing to
|
|
|
|
'git am'"""
|
|
|
|
with open(os.path.join(patch_dir, ".patches")) as f:
|
|
|
|
patch_list = [l.rstrip('\n') for l in f.readlines()]
|
|
|
|
|
|
|
|
return ''.join([
|
|
|
|
read_patch(patch_dir, patch_filename)
|
|
|
|
for patch_filename in patch_list
|
|
|
|
])
|