Re: searching the LSR

[Valentin Villenave]

2008/3/12, luis jure <address@hidden>:

>  are the rest of you experiencing this?

Yes; it's a known bug that is (hopefully) gonna be fixed as soon as
Sebastiano the main (and only) LSR developer has a minute to do so.

However, two things:
- the LSR search function is still active (the relevant results come
first; just ignore the following ones)
- you can as well use the snippets database itself to look for one
snippet in particular:
https://lsr.dsi.unimi.it/list.php?type=snippet

This is the method I always use and its quite efficient; there are
three fields: "Title" allows you to search in snippet titles, "Text"
allows you to search in snippet descriptions, and "Snippet" for a
specific part of the code (e.g. a command).

Cheers,
Valentin