Re: Using Python for file packing

2009-06-30 Thread Nobody
On Mon, 29 Jun 2009 14:16:34 -0700, Scott David Daniels wrote: >>> Do you mean like a zip or tar file? >>> >>> http://docs.python.org/library/zipfile.htmlhttp://docs.python.org/library/tarfile.html >>> >> >> I had no idea you could access a single file from a ZIP or TAR without >> explicitly extr

Re: Using Python for file packing

2009-06-29 Thread MRAB
Scott David Daniels wrote: Aaron Scott wrote: Do you mean like a zip or tar file? http://docs.python.org/library/zipfile.htmlhttp://docs.python.org/library/tarfile.html I had no idea you could access a single file from a ZIP or TAR without explicitly extracting it somewhere. Thanks. You

Re: Using Python for file packing

2009-06-29 Thread Scott David Daniels
Aaron Scott wrote: Do you mean like a zip or tar file? http://docs.python.org/library/zipfile.htmlhttp://docs.python.org/library/tarfile.html I had no idea you could access a single file from a ZIP or TAR without explicitly extracting it somewhere. Thanks. You will find the zip format works

Re: Using Python for file packing

2009-06-29 Thread Aaron Scott
> Do you mean like a zip or tar file? > > http://docs.python.org/library/zipfile.htmlhttp://docs.python.org/library/tarfile.html > I had no idea you could access a single file from a ZIP or TAR without explicitly extracting it somewhere. Thanks. -- http://mail.python.org/mailman/listinfo/python-l

Re: Using Python for file packing

2009-06-29 Thread Kushal Kumaran
On Mon, Jun 29, 2009 at 9:17 PM, Aaron Scott wrote: > I'm working on a Python application right now that uses a large number > of audio assets. Instead of having a directory full of audio, I'd like > to pack all the audio into a single file. Is there any easy way to do > this in Python? My first in

Using Python for file packing

2009-06-29 Thread Aaron Scott
I'm working on a Python application right now that uses a large number of audio assets. Instead of having a directory full of audio, I'd like to pack all the audio into a single file. Is there any easy way to do this in Python? My first instinct was to attempt to pickle all the audio data, but some