Re: pure zsh implementation of wget

[Guido van Steen <gvsteen@xxxxxxxxx>]

Hi, 

Well, sorry for answering my own question: I just thought of using tail, and then getting rid of the superfluous <eof> through head. 

% tail dhcp3-client_4.1.1-P1-15+squeeze3_all.deb -c 25465 > dhcp3-client_4.1.1-P1-15+squeeze3_all.deb 

% head dhcp3-client_4.1.1-P1-15+squeeze3_all.deb -c -1 > dhcp3-client_4.1.1-P1-15+squeeze3_all.deb

It is a bit ugly but it seems to work. 

Best wishes, 

Guido 

--- On Sun, 25/9/11, Guido van Steen <gvsteen@xxxxxxxxx> wrote:

> From: Guido van Steen <gvsteen@xxxxxxxxx>
> Subject: Re: pure zsh implementation of wget
> To: "Bart Schaefer" <schaefer@xxxxxxxxxxxxxxxx>
> Cc: zsh-users@xxxxxxx
> Date: Sunday, 25 September, 2011, 3:23 AM
> Thank you, Bart! 
> 
> Now hopefully my last question: is there an easy way to get
> rid of the first part of the file, which starts with: 
> 
> HTTP/1.1 200 OK
> 
> Date: Sat, 24 Sep 2011 20:06:24 GMT
> 
> Server: Apache
> 
> Last-Modified: Thu, 11 Aug 2011 05:26:04 GMT
> 
> ETag: "6378-4aa340878d300"
> 
> Accept-Ranges: bytes
> 
> Content-Length: 25464
> 
> Connection: close
> 
> Content-Type: application/x-debian-package
> 
> 
> 
> The downloaded file should start with: 
> 
> !<arch>
> debian-binary   1312914433  0 
>    0     100644 
> 4         `
> 2.0
> control.tar.gz  1312914433  0 
>    0     100644 
> 911       `
> ...
> ...  
> 
> Best wishes, 
> 
> Guido
>