Skip to content

Use Trovu on your device

Desktop web browser

Firefox

Screenshot

  1. Open trovu.net, either with your GitHub username or without:
    • https://trovu.net/?#github=YOUR_GITHUB_USERNAME, or
    • https://trovu.net/?#country=gb&language=en. (adjust to your country & language)
  2. In the browser address bar, right-click.
  3. Select Add "Trovu". It is the last item.
  4. Open a new tab with the URL:

    about:preferences#search
    
  5. Under Default Search Engine, select Trovu.

Chrome

  1. Open trovu.net, either with your GitHub username or without:
    • https://trovu.net/?#github=YOUR_GITHUB_USERNAME, or
    • https://trovu.net/?#country=gb&language=en. (adjust to your country & language)
  2. Open a new tab with the URL:

    chrome://settings/searchEngines
    
  3. There, right to Manage search engines is a search field. Search for Trovu.

  4. When found, click the 3 dots right to it.
  5. Select Make default.

Other

Use one of these URL templates and add it where your browser allows to set custom browser search engines:

https://trovu.net/process/?#country=gb&language=en&query=%s
https://trovu.net/process/?#github=YOUR_GITHUB_USERNAME&query=%s

(Note the process/ part in the URL! You may need to adjust your country, language or github parameter.)

Android

SearchBar Ex - Search Widget

This a free, generic app to search any search engine that supports URL with a %s placeholder.

  1. With your Android device, visit the app in the Play store
  2. Install it on your device.
  3. Open the app.
  4. Left to the search input, click on the icon.
  5. At the botton, click + Add
  6. Select Search
  7. Select Custom Search
  8. For name, enter "Trovu"
  9. For URL, enter a URL template like in Browser / other.
  10. Click the back button of the app in the upper left corner

Now, you can enter Trovu queries which will be redirected to your browser.

Firefox for Android

Firefox allows adding custom search engines: Any URL with a %s placeholder works.

  1. Tap on the address bar
  2. Tap on 🔍 Search engine
  3. Tap on ⚙️ Search engine settings
  4. Tap on ➕ Add search engine
  5. Tap on Other
  6. Enter a name, e.g. Trovu
  7. Enter the template URL, like for Other
  8. Tap on ✔ (in the upper right corner)

Here is an example setting for the user georgjaehnig:

Screenshot