sperber(a)informatik.uni-tuebingen.de (Michael Sperber [Mr. Preprocessor]) writes:
I think the problem in Hrvoje's setup is really that all the
info
files are gzipped. Given today's price for disk space, I think
unpacking them would be the easiest way to fix the problem.
Oh, I agree with that. But you can't do that under Debian. :-( Just
like you can't ungzip man-pages, files under /usr/doc/ and
/usr/share/doc/, etc. etc. What a bunch of losers. :-(
Stephen> If so, shouldn't the only cache we trust be one we
make
Stephen> ourselves?
Sure, but in that case, let's abandon dir files entirely.
Maybe that's exactly what we should do. Maybe.