Back to wiki start page

Categories: Ports

Port DB search for Firefox

Author

Johannes Winkelmann

Description

Provide an easy way to search ports in firefox

Instructions

To easily search for ports, add a new bookmark, with the following values:

• Name: CRUX Ports search
• Location: http://crux.nu/portdb/?a=search&q=%s
• Keyword: crux

Then, just type crux <term> in the url field of your browser

Alternative: adding a search provider for your toolbar

Add the following to ~/.mozilla/firefox/<your profile>/searchplugins/crux.src

<search 
   name="CRUX"
   description="CRUX ports search"
   method="GET"
   action="http://crux.nu/portdb/"
   queryCharset="utf-8"
>
<input name="a" value="search">
<input name="q" user>
</search>

In addition, to get an icon:

wget -O ~/.mozilla/firefox/<your profile>/searchplugins/crux.png http://crux.nu/favicon.ico

after restarting firefox, you should have a CRUX search engine