💾 Archived View for lord.re › recherche › index.gmi captured on 2024-08-31 at 12:29:44. Gemini links have been rewritten to link to archived content

-=-=-=-=-=-=-

Recherche

-------------------------------------------------

[30/06/2020] - ~1min - # #

-------------------------------------------------

Vous êtes tout tristouille en train de chercher une page en particulier dans mon ptit bordel ?

Allez on va tenter de la trouver ensemble !

import { search, default as init } from 'https://lord.re/js/tinysearch_engine.js';

window.search = search;

async function run() {

await init('https://lord.re/js/tinysearch_engine_bg.wasm');

}

run();

function doSearch() {

let value = document.getElementById("recherche").value;

const arr = search(value, 21);

let ul = document.getElementById("results");

ul.innerHTML = "";

for (i = 0; i < arr.length; i++) {

var li = document.createElement("li");

let elem = arr[i];

let elemlink = document.createElement('a');

elemlink.innerHTML = elem[0];

elemlink.setAttribute('href', elem[1]);

li.appendChild(elemlink);

ul.appendChild(li);

}

-------------

C'est tout neuf donc c'est ptet pas parfaitement au point.

Ça ne cherche que les mots complets et ça ne suggère rien.

Des fois des résultats sont un peu étranges mais ça marche en gros.

Ça nécessite Javascript pour fonctionner et tout se fait sur votre ordi, rien sur le serveur.

</section>

Liens

------------------------------------

------------------------------------

[30/06/2020] - # #

------------------------------------