Hello, On Tue, 08 Nov 2016, Carlos E. R. wrote:
On 2016-11-08 15:33, Petr Gajdos wrote:
I intend to fill a delete request against openSUSE:Factory/pin. Is there a reason to keep it?
I find it useful.
Actually, I retrieve the indexes from the entire oss/non-oss repos, and make pin run against the whole thing.
It's also useful to check what came/went when from the distro. $ ls /var/lib/pin/ ARCHIVES.gz ARCHIVES_12.2.gz ARCHIVES_42.1.gz ARCHIVES_8.2.gz ARCHIVES_11.2.gz ARCHIVES_12.3.gz ARCHIVES_42.2.gz ARCHIVES_9.1.gz ARCHIVES_11.4.gz ARCHIVES_13.1.gz ARCHIVES_6.2.gz ARCHIVES_12.1.gz ARCHIVES_13.2.gz ARCHIVES_7.0.gz -dnh -- *So viele schöne Fragezeichen in meinem Kopf* ;-) [Moritz Esser in suse-linux] -- To unsubscribe, e-mail: opensuse-factory+unsubscribe@opensuse.org To contact the owner, e-mail: opensuse-factory+owner@opensuse.org