Home Manager Options Search Engine

Adds Home Manager options search to Firefox omnibox

Home Manager Options Search Engine

Add-on stats

Users: 3
Version: 1.2 (Last updated: 2024-04-19)
Creation date: 2023-10-17
Weekly download count: 1
Firefox on Android: No
Risk impact: Low risk impact
Risk likelihood:
Manifest version: 2
Overrides search engine: Yes
Size: 41.91K
URLs: Website

Other platforms

Not available on Chrome
Not available on Android
Not available on Edge
Want to check extension ranking and stats more quickly for other Firefox add-ons? Install Chrome-Stats extension to view Firefox-Stats data as you browse the Firefox Browser Add-ons.

Add-on summary

Fork of https://github.com/pcf26536/firefox-nixpkgs-extension

Adds Home Manager Options search engine to Firefox omnibox.

In the address bar, just type @hmopts then at least a single space character followed by the search query.

Add-on safety

Risk impact

Home Manager Options Search Engine requires very minimum permissions.

Risk likelihood

Home Manager Options Search Engine is probably trust-worthy. Prefer other publishers if available. Exercise caution when installing this add-on.

Upgrade to see risk analysis details