Please read this before reporting a bug:
https://wiki.archlinux.org/title/Bug_reporting_guidelines
Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.
REPEAT: Do NOT report bugs for outdated packages!
https://wiki.archlinux.org/title/Bug_reporting_guidelines
Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.
REPEAT: Do NOT report bugs for outdated packages!
FS#8980 - wiki search doesn't work/work sometimes?
Attached to Project:
Arch Linux
Opened by kongokris 2 (nut543) - Thursday, 20 December 2007, 10:33 GMT
Last edited by eliott (cactus) - Wednesday, 27 February 2008, 03:37 GMT
Opened by kongokris 2 (nut543) - Thursday, 20 December 2007, 10:33 GMT
Last edited by eliott (cactus) - Wednesday, 27 February 2008, 03:37 GMT
|
DetailsThe search doesn't work/work sometimes? on wiki.archlinux.org. if you go to google and type:
site:wiki.archlinux.org searchterms you will have much more luck at getting results... for example i was trying to find out how to install arch from an usb stick and the wiki search yielded no results for the word 'usb' but when i tried google's search i could find the article at once. |
This task depends upon
Closed by eliott (cactus)
Wednesday, 27 February 2008, 03:37 GMT
Reason for closing: Not a bug
Additional comments about closing: Not a bug.
If you need to search for terms with 3 letters, try using a google "site:wiki.archlinux.org USB" search.
Wednesday, 27 February 2008, 03:37 GMT
Reason for closing: Not a bug
Additional comments about closing: Not a bug.
If you need to search for terms with 3 letters, try using a google "site:wiki.archlinux.org USB" search.
Maybe we should just remove the mediawiki search altogether, and put in a google search box.
archers! to battlestations!
/me chuckles
We won't be decreasing the three character search limit, it's actually a mysql default rather than a wiki setting, and a sane one at that. Replacing the search box with a google search isn't a bad idea though, definitely something to think about.
Likewise, the search works as intended... meaning that the default wiki search only searches page titles, and you need to click the other submit button to search within page texts. This is default mediawiki behavior.