tech-pkg archive

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

Re: Patch name changes



On Thu, Jun 10, 2010 at 02:53:03PM +0200, Tobias Nygren wrote:
> There may be situations where case-insensitivity presents a problem:
> some packages have for example both Makefile and makefile. We should
> take some measures (like having pkglint complain) to prevent people
> from checking in patches that will break case-insensitive checkouts of
> pkgsrc.

Good point, though I don't expect that even if a package has both
"makefile" and "Makefile" we'll need to patch both.

> I don't know if we have any patches where there's whitespace in the
> path name. If so, the above sed-fu should translate them to
> something suitable.

Currently, pkgsrc contains no patches for files with spaces.[1]
On the off chance, we could just replace spaces with _ as well, I
don't think that will cause collisions...

Cheers,
 Thomas


[1]
# cd /usr/pkgsrc/
# grep -r ^\+\+\+ . > ~/patch-file-names
# sed "s/.*:\+\+\+ //" ~/patch-file-names | grep '[     ]' |grep -Ev '^[^       
]*[     ]*(20[01][0-9]|Mon|Tue|Wed|Thu|Fri|Sat|Sun|199[0-9]|[0-9]?[0-9] 
(Jan|Feb|Mar|Apr|May|Jun|Jul|Aug|Sep|Oct|Nov|Dec)).*$' | less


Home | Main Index | Thread Index | Old Index