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 |
| 电子邮箱 | [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"
}
} | |
