Skip to content

Advanced settings & personal shortcuts

You can create and manage your own user shortcuts and set advanced settings:

  1. If you don't have one, create a GitHub.com account. It is free.
  2. Fork trovu-data-user into your own GitHub account.
  3. In there, adjust config.yml to your needs, and add your own shortcuts to shortcuts.yml. (Both are YAML files.)
  4. Call Trovu with https://trovu.net/?#github=YOUR_GITHUB_USERNAME

Custom configuration

You may adjust config.yml to your needs.

Namespaces

namespaces:
    - o
    - en
    - .us
    - github: john-doe
      name: john
    - github: .
      name: my

This is an array of the namespaces you want to use. Every entry may be either

  • a string: Then it refers to an (official) site namespace, i.e. one in the /data subdirectory repository. Shortcuts in there are curated by the Trovu community.
  • key/value pairs, then they refer to a custom namespace, e.g. your (or someone else's) user namespace in GitHub. Every entry must contain:
    • github: A GitHub username, or a dot
    • (optional) name: Some custom name (default: value from github:)

The dot will refer to the current GitHub user (where this config.yml is located).

The order is also relevant: The later the namespace appears in the list, the higher priority it has. So in the example above, shortcuts in my have the highest precedence.

Default keyword

defaultKeyword: g

If no keyword is recognized in a query, this one will be used. Useful for setting up a much used shortcut.

Language

language: en

For Wikipedia in your language (or other shortcuts using <$language>). Basically, it fills the <$language> variable in the shortcut URLs. Now, using the w shortcut will get you to the Wikipedia in your language, as its shortcut URL is set as https://<$language>.wikipedia.org/.

Country

country: de

For shortcuts that use <$country> in their URL. Works similarly as <$language>.

Personal shortcuts

Add personal shortcuts to shortcuts.yml.