|
webkit
2cdf99a9e3038c7e01b3c37e8ad903ecbe5eecf1
https://github.com/WebKit/webkit
|
Functions | |
| def | make_tarball (tarball_path, sources, base_dir, prefix_dir='') |
| def | decompress (tarball_path, base_dir) |
Variables | |
| int | TARGZ_DEFAULT_COMPRESSION_LEVEL = 9 |
| def devtools.tarball.decompress | ( | tarball_path, | |
| base_dir | |||
| ) |
Decompress the gzipped tarball into directory base_dir.
| def devtools.tarball.make_tarball | ( | tarball_path, | |
| sources, | |||
| base_dir, | |||
prefix_dir = '' |
|||
| ) |
Parameters:
tarball_path: output path of the .tar.gz file
sources: list of sources to include in the tarball, relative to the current directory
base_dir: if a source file is in a sub-directory of base_dir, then base_dir is stripped
from path in the tarball.
prefix_dir: all files stored in the tarball be sub-directory of prefix_dir. Set to ''
to make them child of root.
| int devtools.tarball.TARGZ_DEFAULT_COMPRESSION_LEVEL = 9 |
1.8.13