On 6/9/16, Marko Käning <sec001+fos...@posteo.net> wrote: > >> (4) Initializing the search index means computing all historical >> check-in diffs. That might take a while. Figure about 10 check-ins >> per second. Fossil itself currently has 9506 check-ins, so total >> initialization time would be 15 minutes. (The "10 checkins per >> second" number is a guess. Processing might go significantly faster. >> We will need to experiment to know.) > > One could make this indexing optional, perhaps, no? A bit like the > indexing of Wiki/Docu/Tickets info in the UI…
Yes, certainly. It would be just another check-box option beside all of the other search categories. Someone also suggested that there ought to be a search for Fossil's own internal help screens and documentation. I agree. That wouldn't be hard to do - I just haven't gotten around to doing it yet... -- D. Richard Hipp d...@sqlite.org _______________________________________________ fossil-users mailing list fossil-users@lists.fossil-scm.org http://lists.fossil-scm.org:8080/cgi-bin/mailman/listinfo/fossil-users