2018-08-15 16:59:25 +00:00
|
|
|
#!/usr/bin/env python3
|
|
|
|
|
|
|
|
import os
|
|
|
|
import sys
|
|
|
|
import tarfile
|
|
|
|
|
|
|
|
if __name__ == "__main__":
|
|
|
|
files = sys.argv[1]
|
2020-05-27 23:25:42 +00:00
|
|
|
release_name = sys.argv[2]
|
2018-08-15 16:59:25 +00:00
|
|
|
readme = sys.argv[3]
|
2020-05-27 23:25:42 +00:00
|
|
|
outname = release_name + '.tar.xz'
|
2018-08-15 16:59:25 +00:00
|
|
|
|
2020-05-27 23:25:42 +00:00
|
|
|
print("Generating %s" % os.path.realpath(os.path.join(os.path.curdir, outname)), file=sys.stderr)
|
2018-08-15 16:59:25 +00:00
|
|
|
tar = tarfile.open(outname, 'w:xz')
|
2020-05-27 23:25:42 +00:00
|
|
|
tar.add(files, release_name)
|
2018-08-15 16:59:25 +00:00
|
|
|
os.chdir(os.path.dirname(readme))
|
2020-05-27 23:25:42 +00:00
|
|
|
tar.add(os.path.basename(readme), os.path.join(release_name, os.path.basename(readme)))
|
2018-08-15 16:59:25 +00:00
|
|
|
tar.close()
|