Re: How to search on the wiki ?

On 28.08.24 10:03, Alexis Praga wrote:
> Hi,
> 
> It looks like the search function on the wiki is not working. Searching emacs results in (https://darcs.net/_search) :
> 
> Happstack 7.6.1
> Your file is not found
> To try again is useless
> It is just not here

I am sorry to say that I have no idea why this happens. I can try and
see if this can be fixed, but don't hold your breath.

> Is there a way to search by keyword ?

As a work-around, you can `darcs clone https://darcs.net/wiki` and use
`grep -r` or something like that. I personally like to do that to make
changes as well i.e. edit locally, record changes and then push them.
However, for push rights we'd have to arrange something. Let me know if
you are interested.

Cheers
Ben