BetterSearch

Better Search For 42 intra with fuzzy matching

什麼是BetterSearch?

BetterSearch是由ReversableCode開發的Chrome擴展程式,該擴展的主要功能是“Better Search For 42 intra with fuzzy matching”。

擴展截圖

screenshot

下載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 BetterSearch
ID hmlgbdlbcapchjcoipkcmnhmnlgnjanb
官方網址 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"
    }
}