Bug 494560

Summary:	prioritize man-pages in search result
Product:	[Applications] khelpcenter	Reporter:	Holger <private_lock>
Component:	general	Assignee:	Documentation Editorial Team <kde-doc-english>
Status:	REPORTED ---
Severity:	minor	CC:	luigi.toscano
Priority:	NOR
Version:	5.8.23085
Target Milestone:	---
Platform:	Ubuntu
OS:	Linux
Latest Commit:		Version Fixed In:
Sentry Crash Report:
Attachments:	Screenshot: search for "find" - way below the default top 10 red line cut-off

Description Holger 2024-10-11 17:54:06 UTC

Created attachment 174708 [details]
Screenshot: search for "find" - way below the default top 10 red line cut-off

SUMMARY
The search result for man-pages is usually hidden under a pile of rubble in alphabetic order.

STEPS TO REPRODUCE
1. search the man-page for "find", "sort", "uniq", "cp", ...
2. extreme examples are the man-page for: "read", "ls", ...

OBSERVED RESULT
Even though they are pretty useful and commonly used standard commands, they don't make it in the top 10.

EXPECTED RESULT
If the search term exactly matches a command, shoot it's man-page to the top.

SOFTWARE/OS VERSIONS
Operating System: Kubuntu 24.04
KDE Plasma Version: 5.27.11
KDE Frameworks Version: 5.115.0
Qt Version: 5.15.13
Kernel Version: 6.8.0-45-generic (64-bit)
Graphics Platform: X11
Processors: 8 × Intel® Core™ i7-4700MQ CPU @ 2.40GHz
Memory: 15.5 GiB of RAM
Graphics Processor: Mesa Intel® HD Graphics 4600
Manufacturer: Micro-Star International Co., Ltd.
Product Name: GE70 2OC\2OD\2OE
System Version: REV:1.0

ADDITIONAL INFORMATION
There is an easy workaround by typing "#find" into krunner/Kicker/K-Menu - it will suggest a URL "man:/find".
Even if khelpcenter is already running it will abandon the currently shown page and immediately jump to the desired man-page.

krunner got a similar prioritization e.g. bug 314199

Comment 1 Luigi Toscano 2024-10-11 20:41:54 UTC

I think this was addressed by https://invent.kde.org/system/khelpcenter/-/merge_requests/52 , but that will be visible in the version shipped with Gear 24.12.