BetterSearch
Better Search For 42 intra with fuzzy matching
BetterSearchとは何ですか?
BetterSearchはReversableCodeによって開発されたChromeの拡張機能で、その主な機能は「Better Search For 42 intra with fuzzy matching」です。
拡張機能のスクリーンショット
BetterSearch拡張機能のCRXファイルをダウンロード
BetterSearch拡張子のファイルをcrx形式でダウンロードし、ブラウザにChrome拡張機能を手動でインストールするか、crxファイルを友達と共有して簡単にChrome拡張機能をインストールします。
拡張機能の使用方法
Supercharge your search within Intra42 with our Fuzzy Search Extender Chrome extension! Seamlessly incorporate fuzzy matching into your search experience on intra.42.fr, making the search process more flexible and forgiving. This extension improves the existing search function on intra.42.fr by applying a fuzzy matching algorithm to your queries. With fuzzy matching, you don't need to type in exact search phrases to find what you're looking for. Instead, the algorithm considers approximate string matches, allowing for minor errors such as misspellings, transpositions, and incomplete phrases. Disclaimer : This unofficial extension is in no way affiliated with, authorized, maintained, sponsored or endorsed by 42. This is an independent and unofficial Chrome extension made by a student from 42network.
拡張機能の基本情報
名前 | BetterSearch |
ID | hmlgbdlbcapchjcoipkcmnhmnlgnjanb |
公式URL | https://chromewebstore.google.com/detail/bettersearch/hmlgbdlbcapchjcoipkcmnhmnlgnjanb |
説明 | Better Search For 42 intra with fuzzy matching |
ファイルサイズ | 10.22 KB |
インストール数 | 60 |
現在のバージョン | 1.0 |
最終更新日 | 2023-06-13 |
公開日 | 2023-06-13 |
評価 | 5.00/5 合計 3 レビュー |
開発者 | ReversableCode |
Eメール | [email protected] |
支払い方法 | free |
対応言語 | en |
manifest.json | |
{ "update_url": "https:\/\/clients2.google.com\/service\/update2\/crx", "name": "BetterSearch", "description": "Better Search For 42 intra with fuzzy matching", "version": "1.0", "manifest_version": 3, "background": { "service_worker": "background.js" }, "permissions": [ "storage", "scripting", "webNavigation" ], "host_permissions": [ "https:\/\/profile.intra.42.fr\/searches\/search" ], "action": { "default_icon": { "16": "\/images\/favicon-16x16.png", "32": "\/images\/favicon-32x32.png" } }, "icons": { "16": "\/images\/favicon-16x16.png", "32": "\/images\/favicon-32x32.png" } } |