From: Noel Welsh (noelwelsh at gmail.com) Date: Thu Sep 2 04:57:03 EDT 2010 |
|
.plt files are mime encoded gziped tars AFAIK. There is a function called unmztar in setup/unpack.rkt that probably untars. However it is not provided by that module. Probably the best thing to do is write your own based on that code. HTH, N. On Wed, Sep 1, 2010 at 1:04 AM, Ryan Golbeck <rmgolbec at cs.ubc.ca> wrote: ... > Is anyone aware of some library functions for unpacking tarballs? ...
Posted on the users mailing list. |
|