On Thu, Mar 8, 2012 at 11:52 AM, Robby Findler <robby at eecs.northwestern.edu> wrote: > Doesn't file/gunzip do that?