pkgsrc-Users archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

Re: rename a DISTFILE at download time?

> Is there a way in pkgsrc to rename a DISTFILE when it is downloaded?  
> The reason I'm asking is that x11/xpmicons downloads both KDEicons.tgz 
> and kdeicons.tgz, which results in breakage on case insensitive file 
> systems.  My thought is that an easy fix would be to save (remote file) 
> KDEicons.tgz as (local file) KDEicons_.tgz (say).  I don't see a way to 
> do this with a pre-* or post-* target.
> Is this possible?  Or is there a better pkgsrc solution for something 
> like this?

Have a look at the pre-fetch target for an example in 

  Jeremy C. Reed

Home | Main Index | Thread Index | Old Index