Re: Can't unzip file



Rodolfo Medina wrote:

From

http://www.topology.org/tex/conc/mp/

I downloaded mp1.zip and mpdemo.ps.zip,
but don't manage to unzip the second one:

$ unzip mpdemo.ps.zip

[...]




"[KS]" <lists04@xxxxxxxxxxx> writes:

Both opened fine with archive manager. unzip also worked. Testing the
archives with the -t flag for unzip didn't show any errors either.

Download again and try once more.



Thanks very much,
it seems okay now.

Rodolfo


--
To UNSUBSCRIBE, email to debian-user-REQUEST@xxxxxxxxxxxxxxxx
with a subject of "unsubscribe". Trouble? Contact listmaster@xxxxxxxxxxxxxxxx



Relevant Pages

  • Re: XP Zip Problem
    ... download and unzip without having to download third partysoftware. ... It consists of a virtual machine and supporting files, ... REader, but Winzip would likely be able to unzip it, as you indicated. ...
    (microsoft.public.windowsxp.general)
  • Re: very slow WIN XP Pro and other issues
    ... You can click Search to look for information on the Internet. ... > Unzip, but do not run it yet, it will be needed later. ... > Download: WINFILE.zip ... > Run CWShredder and reboot. ...
    (microsoft.public.windowsxp.general)
  • Re: CWS searchx strain wont go away
    ... > Download: CWShredder ... > Unzip, but do not run it yet, it will be needed later. ... > Navigate to System32 folder. ... I have followed the instructions below and still can't shake ...
    (microsoft.public.security)
  • Re: What is the Apple IIGS MAJOR UPDATE!
    ... Would you be able to download any 2image archive to see if that unzips ... I've zipped all the archives using StuffIt Standard v9.01 on MacOS X ... What program are you using the unzip archives? ... I just downloaded the Cinemaware and Sierra demo 2IMG disk images and ...
    (comp.sys.apple2)
  • Re: downloaded file is worthless
    ... I download the file from the website. ... I have to unzip that. ... Did you know there's a mac WMP specific newsgroup? ... like your Stuffit expanded the file to a disk image (a file with a ...
    (microsoft.public.windowsmedia.player)