I had the same problem but finally found a somewhat obscure solution and decided to share it here. I came accross the great zip.lib.php/unzip.lib.php scripts which come with phpmyadmin and are located in the “libraries” directory. Using zip.lib.php worked as a charm for me: require_once(LIBS_DIR . ‘zip.lib.php’); … //create the zip $zip = new zipfile(); … Read more
You could extract the object files from each library with ar x <library name> and then merge them all into a new library with ar cs <new library name> <list each extracted object file>
Take a look at dictzip. It is compatible with gzip and allows coarse random access. An excerpt from its man page: dictzip compresses files using the gzip(1) algorithm (LZ77) in a manner which is completely compatible with the gzip file format. An extension to the gzip file format (Extra Field, described in 2.3.1.1 of RFC … Read more
This answer changes with .NET 4.5. Creating a zip file becomes incredibly easy. No third-party libraries will be required. string startPath = @”c:\example\start”; string zipPath = @”c:\example\result.zip”; string extractPath = @”c:\example\extract”; ZipFile.CreateFromDirectory(startPath, zipPath); ZipFile.ExtractToDirectory(zipPath, extractPath);
Yes you can do this. Non-code resources in a JAR file on the classpath can be accessed using Class.getResourceAsStream(String). Applications routinely do this, for example, to embed internationalized messages as resource bundles. To get your file into the JAR file (at project build time!), just copy it into the appropriate place in the input directory … Read more
Your understanding is correct, an artifact in the Jenkins sense is the result of a build – the intended output of the build process. A common convention is to put the result of a build into a build, target or bin directory. The Jenkins archiver can use globs (target/*.jar) to easily pick up the right … Read more
You can do this with the Apache Commons Compress library. You can download the 1.2 version from http://mvnrepository.com/artifact/org.apache.commons/commons-compress/1.2. Here are two methods: one that unzips a file and another one that untars it. So, for a file <fileName>tar.gz, you need to first unzip it and after that untar it. Please note that the tar archive … Read more
PowerShell v5.0 adds Compress-Archive and Expand-Archive cmdlets. The linked pages have full examples, but the gist of it is: # Create a zip file with the contents of C:\Stuff\ Compress-Archive -Path C:\Stuff -DestinationPath archive.zip # Add more files to the zip file # (Existing files in the zip file with the same name are replaced) … Read more
The easiest way is to use shutil.make_archive. It supports both zip and tar formats. import shutil shutil.make_archive(output_filename, ‘zip’, dir_name) If you need to do something more complicated than zipping the whole directory (such as skipping certain files), then you’ll need to dig into the zipfile module as others have suggested.