Re: that old INDEX file

2018-11-12 Thread Marc Espie
Here's a more elaborate version of the print-index script. It's without doubt the longest sql query I've ever written... This *does* give identical lines to "make INDEX" apart from the fact that the pkgpath selection mechanism is more thorough, so it may give you identical paths, and also it

Re: that old INDEX file

2018-11-10 Thread Kenneth R Westerback
On Sat, Nov 10, 2018 at 08:00:02PM +0100, Marc Espie wrote: > Now might be the time to retire it, specifically > because it's almost always outdated. Removing it is probably the only I'll be motivated to learn the sql way. :-) No objections from me. Ken > > The idea is that sqlports can

that old INDEX file

2018-11-10 Thread Marc Espie
Now might be the time to retire it, specifically because it's almost always outdated. The idea is that sqlports can generate something very close, not quite identical because of some insanity, but I have some sqlite3 script that does the trick. So, probably store the result in the portslist