From 0683e0376deef64e877595362ddc6868a1d06e2c Mon Sep 17 00:00:00 2001 From: carlospolop Date: Sat, 4 Oct 2025 01:58:50 +0200 Subject: [PATCH] f --- .github/workflows/build_master.yml | 63 ++--- .github/workflows/translate_all.yml | 90 +++++-- theme/ht_searcher.js | 361 +++++++++++++++------------- 3 files changed, 311 insertions(+), 203 deletions(-) diff --git a/.github/workflows/build_master.yml b/.github/workflows/build_master.yml index 94f5b5b94..de7576627 100644 --- a/.github/workflows/build_master.yml +++ b/.github/workflows/build_master.yml @@ -43,7 +43,7 @@ jobs: && sudo apt update \ && sudo apt install gh -y - - name: Publish search index release asset + - name: Push search index to hacktricks-searchindex repo shell: bash env: PAT_TOKEN: ${{ secrets.PAT_TOKEN }} @@ -51,43 +51,52 @@ jobs: set -euo pipefail ASSET="book/searchindex.js" - TAG="searchindex-en" - TITLE="Search Index (en)" + TARGET_REPO="HackTricks-wiki/hacktricks-searchindex" + FILENAME="searchindex-en.js" if [ ! -f "$ASSET" ]; then echo "Expected $ASSET to exist after build" >&2 exit 1 fi - TOKEN="${PAT_TOKEN:-${GITHUB_TOKEN:-}}" + TOKEN="${PAT_TOKEN}" if [ -z "$TOKEN" ]; then - echo "No token available for GitHub CLI" >&2 + echo "No PAT_TOKEN available" >&2 exit 1 fi - export GH_TOKEN="$TOKEN" - # Delete the release if it exists - echo "Checking if release $TAG exists..." - if gh release view "$TAG" --repo "$GITHUB_REPOSITORY" >/dev/null 2>&1; then - echo "Release $TAG already exists, deleting it..." - gh release delete "$TAG" --yes --repo "$GITHUB_REPOSITORY" --cleanup-tag || { - echo "Failed to delete release, trying without cleanup-tag..." - gh release delete "$TAG" --yes --repo "$GITHUB_REPOSITORY" || { - echo "Warning: Could not delete existing release, will try to recreate..." - } - } - sleep 2 # Give GitHub API a moment to process the deletion - else - echo "Release $TAG does not exist, proceeding with creation..." - fi + # Clone the searchindex repo + git clone https://x-access-token:${TOKEN}@github.com/${TARGET_REPO}.git /tmp/searchindex-repo - # Create new release (with force flag to overwrite if deletion failed) - gh release create "$TAG" "$ASSET" --title "$TITLE" --notes "Automated search index build for master" --repo "$GITHUB_REPOSITORY" || { - echo "Failed to create release, trying with force flag..." - gh release delete "$TAG" --yes --repo "$GITHUB_REPOSITORY" --cleanup-tag >/dev/null 2>&1 || true - sleep 2 - gh release create "$TAG" "$ASSET" --title "$TITLE" --notes "Automated search index build for master" --repo "$GITHUB_REPOSITORY" - } + cd /tmp/searchindex-repo + git config user.name "GitHub Actions" + git config user.email "github-actions@github.com" + + # Compress the searchindex file + cd "${GITHUB_WORKSPACE}" + gzip -9 -k -f "$ASSET" + + # Show compression stats + ORIGINAL_SIZE=$(wc -c < "$ASSET") + COMPRESSED_SIZE=$(wc -c < "${ASSET}.gz") + RATIO=$(awk "BEGIN {printf \"%.1f\", ($COMPRESSED_SIZE / $ORIGINAL_SIZE) * 100}") + echo "Compression: ${ORIGINAL_SIZE} bytes -> ${COMPRESSED_SIZE} bytes (${RATIO}%)" + + # Copy the .gz version to the searchindex repo + cd /tmp/searchindex-repo + cp "${GITHUB_WORKSPACE}/${ASSET}.gz" "${FILENAME}.gz" + + # Stage the updated file + git add "${FILENAME}.gz" + + # Commit with timestamp if there are changes + TIMESTAMP=$(date -u +"%Y-%m-%d %H:%M:%S UTC") + git commit -m "Update searchindex files - ${TIMESTAMP}" || echo "No changes to commit" + + # Push to master branch + git push origin master + + echo "Successfully pushed searchindex files" # Login in AWs diff --git a/.github/workflows/translate_all.yml b/.github/workflows/translate_all.yml index b0444f9a7..59b1470c3 100644 --- a/.github/workflows/translate_all.yml +++ b/.github/workflows/translate_all.yml @@ -129,7 +129,7 @@ jobs: git pull MDBOOK_BOOK__LANGUAGE=$BRANCH mdbook build || (echo "Error logs" && cat hacktricks-preprocessor-error.log && echo "" && echo "" && echo "Debug logs" && (cat hacktricks-preprocessor.log | tail -n 20) && exit 1) - - name: Publish search index release asset + - name: Push search index to hacktricks-searchindex repo shell: bash env: PAT_TOKEN: ${{ secrets.PAT_TOKEN }} @@ -137,31 +137,93 @@ jobs: set -euo pipefail ASSET="book/searchindex.js" - TAG="searchindex-${BRANCH}" - TITLE="Search Index (${BRANCH})" + TARGET_REPO="HackTricks-wiki/hacktricks-searchindex" + FILENAME="searchindex-${BRANCH}.js" if [ ! -f "$ASSET" ]; then echo "Expected $ASSET to exist after build" >&2 exit 1 fi - TOKEN="${PAT_TOKEN:-${GITHUB_TOKEN:-}}" + TOKEN="${PAT_TOKEN}" if [ -z "$TOKEN" ]; then - echo "No token available for GitHub CLI" >&2 + echo "No PAT_TOKEN available" >&2 exit 1 fi - export GH_TOKEN="$TOKEN" - # Delete the release if it exists - if gh release view "$TAG" >/dev/null 2>&1; then - echo "Release $TAG already exists, deleting it..." - gh release delete "$TAG" --yes --repo "$GITHUB_REPOSITORY" - fi + # Clone the searchindex repo + git clone https://x-access-token:${TOKEN}@github.com/${TARGET_REPO}.git /tmp/searchindex-repo - # Create new release - gh release create "$TAG" "$ASSET" --title "$TITLE" --notes "Automated search index build for $BRANCH" --repo "$GITHUB_REPOSITORY" + # Compress the searchindex file + gzip -9 -k -f "$ASSET" + + # Show compression stats + ORIGINAL_SIZE=$(wc -c < "$ASSET") + COMPRESSED_SIZE=$(wc -c < "${ASSET}.gz") + RATIO=$(awk "BEGIN {printf \"%.1f\", ($COMPRESSED_SIZE / $ORIGINAL_SIZE) * 100}") + echo "Compression: ${ORIGINAL_SIZE} bytes -> ${COMPRESSED_SIZE} bytes (${RATIO}%)" + + # Copy ONLY the .gz version to the searchindex repo (no uncompressed .js) + cp "${ASSET}.gz" "/tmp/searchindex-repo/${FILENAME}.gz" + + # Commit and push with retry logic + cd /tmp/searchindex-repo + git config user.name "GitHub Actions" + git config user.email "github-actions@github.com" + git add "${FILENAME}.gz" + + if git diff --staged --quiet; then + echo "No changes to commit" + else + git commit -m "Update ${FILENAME} from hacktricks-cloud build" + + # Retry push up to 20 times with pull --rebase between attempts + MAX_RETRIES=20 + RETRY_COUNT=0 + while [ $RETRY_COUNT -lt $MAX_RETRIES ]; do + if git push origin master; then + echo "Successfully pushed on attempt $((RETRY_COUNT + 1))" + break + else + RETRY_COUNT=$((RETRY_COUNT + 1)) + if [ $RETRY_COUNT -lt $MAX_RETRIES ]; then + echo "Push failed, attempt $RETRY_COUNT/$MAX_RETRIES. Pulling and retrying..." + + # Try normal rebase first + if git pull --rebase origin master 2>&1 | tee /tmp/pull_output.txt; then + echo "Rebase successful, retrying push..." + else + # If rebase fails due to divergent histories (orphan branch reset), re-clone + if grep -q "unrelated histories\|refusing to merge\|fatal: invalid upstream\|couldn't find remote ref" /tmp/pull_output.txt; then + echo "Detected history rewrite, re-cloning repository..." + cd /tmp + rm -rf searchindex-repo + git clone https://x-access-token:${TOKEN}@github.com/${TARGET_REPO}.git searchindex-repo + cd searchindex-repo + git config user.name "GitHub Actions" + git config user.email "github-actions@github.com" + + # Re-copy ONLY the .gz version (no uncompressed .js) + cp "${ASSET}.gz" "${FILENAME}.gz" + + git add "${FILENAME}.gz" + git commit -m "Update ${FILENAME}.gz from hacktricks-cloud build" + echo "Re-cloned and re-committed, will retry push..." + else + echo "Rebase failed for unknown reason, retrying anyway..." + fi + fi + + sleep 1 + else + echo "Failed to push after $MAX_RETRIES attempts" + exit 1 + fi + fi + done + fi - # Login in AWs + # Login in AWS - name: Configure AWS credentials using OIDC uses: aws-actions/configure-aws-credentials@v3 with: diff --git a/theme/ht_searcher.js b/theme/ht_searcher.js index 6b105f263..9548e9173 100644 --- a/theme/ht_searcher.js +++ b/theme/ht_searcher.js @@ -6,34 +6,63 @@ */ (() => { - "use strict"; + "use strict"; + + /* ───────────── 0. helpers (main thread) ───────────── */ + const clear = el => { while (el.firstChild) el.removeChild(el.firstChild); }; + + /* ───────────── 1. Web‑Worker code ─────────────────── */ + const workerCode = ` + self.window = self; + self.search = self.search || {}; + const abs = p => location.origin + p; + + /* 1 — elasticlunr */ + try { importScripts('https://cdn.jsdelivr.net/npm/elasticlunr@0.9.5/elasticlunr.min.js'); } + catch { importScripts(abs('/elasticlunr.min.js')); } + + /* 2 — decompress gzip data */ + async function decompressGzip(arrayBuffer){ + if(typeof DecompressionStream !== 'undefined'){ + /* Modern browsers: use native DecompressionStream */ + const stream = new Response(arrayBuffer).body.pipeThrough(new DecompressionStream('gzip')); + const decompressed = await new Response(stream).arrayBuffer(); + return new TextDecoder().decode(decompressed); + } else { + /* Fallback: use pako library */ + if(typeof pako === 'undefined'){ + try { importScripts('https://cdn.jsdelivr.net/npm/pako@2.1.0/dist/pako.min.js'); } + catch(e){ throw new Error('pako library required for decompression: '+e); } + } + const uint8Array = new Uint8Array(arrayBuffer); + const decompressed = pako.ungzip(uint8Array, {to: 'string'}); + return decompressed; + } + } - /* ───────────── 0. helpers (main thread) ───────────── */ - const clear = el => { while (el.firstChild) el.removeChild(el.firstChild); }; - - /* ───────────── 1. Web‑Worker code ─────────────────── */ - const workerCode = ` - self.window = self; - self.search = self.search || {}; - const abs = p => location.origin + p; - - /* 1 — elasticlunr */ - try { importScripts('https://cdn.jsdelivr.net/npm/elasticlunr@0.9.5/elasticlunr.min.js'); } - catch { importScripts(abs('/elasticlunr.min.js')); } - - /* 2 — load a single index (remote → local) */ + /* 3 — load a single index (remote → local) */ async function loadIndex(remote, local, isCloud=false){ let rawLoaded = false; if(remote){ + /* Try ONLY compressed version from GitHub (remote already includes .js.gz) */ try { const r = await fetch(remote,{mode:'cors'}); - if (!r.ok) throw new Error('HTTP '+r.status); - importScripts(URL.createObjectURL(new Blob([await r.text()],{type:'application/javascript'}))); - rawLoaded = true; - } catch(e){ console.warn('remote',remote,'failed →',e); } + if (r.ok) { + const compressed = await r.arrayBuffer(); + const text = await decompressGzip(compressed); + importScripts(URL.createObjectURL(new Blob([text],{type:'application/javascript'}))); + rawLoaded = true; + console.log('Loaded compressed from GitHub:',remote); + } + } catch(e){ console.warn('compressed GitHub',remote,'failed →',e); } } + /* If remote (GitHub) failed, fall back to local uncompressed file */ if(!rawLoaded && local){ - try { importScripts(abs(local)); rawLoaded = true; } + try { + importScripts(abs(local)); + rawLoaded = true; + console.log('Loaded local fallback:',local); + } catch(e){ console.error('local',local,'failed →',e); } } if(!rawLoaded) return null; /* give up on this index */ @@ -61,151 +90,159 @@ return local ? loadIndex(null, local, isCloud) : null; } + + let built = []; + const MAX = 30, opts = {bool:'AND', expand:true}; + + self.onmessage = async ({data}) => { + if(data.type === 'init'){ + const lang = data.lang || 'en'; + const searchindexBase = 'https://raw.githubusercontent.com/HackTricks-wiki/hacktricks-searchindex/master'; - (async () => { - const htmlLang = (document.documentElement.lang || 'en').toLowerCase(); - const lang = htmlLang.split('-')[0]; - const mainReleaseBase = 'https://github.com/HackTricks-wiki/hacktricks/releases/download'; - const cloudReleaseBase = 'https://github.com/HackTricks-wiki/hacktricks-cloud/releases/download'; + /* Remote sources are .js.gz (compressed), local fallback is .js (uncompressed) */ + const mainFilenames = Array.from(new Set(['searchindex-' + lang + '.js.gz', 'searchindex-en.js.gz'])); + const cloudFilenames = Array.from(new Set(['searchindex-cloud-' + lang + '.js.gz', 'searchindex-cloud-en.js.gz'])); - const mainTags = Array.from(new Set([\`searchindex-\${lang}\`, 'searchindex-en', 'searchindex-master'])); - const cloudTags = Array.from(new Set([\`searchindex-\${lang}\`, 'searchindex-en', 'searchindex-master'])); + const MAIN_REMOTE_SOURCES = mainFilenames.map(function(filename) { return searchindexBase + '/' + filename; }); + const CLOUD_REMOTE_SOURCES = cloudFilenames.map(function(filename) { return searchindexBase + '/' + filename; }); - const MAIN_REMOTE_SOURCES = mainTags.map(tag => \`\${mainReleaseBase}/\${tag}/searchindex.js\`); - const CLOUD_REMOTE_SOURCES = cloudTags.map(tag => \`\${cloudReleaseBase}/\${tag}/searchindex.js\`); - - const indices = []; - const main = await loadWithFallback(MAIN_REMOTE_SOURCES , '/searchindex.js', false); if(main) indices.push(main); - const cloud= await loadWithFallback(CLOUD_REMOTE_SOURCES, '/searchindex-cloud.js', true ); if(cloud) indices.push(cloud); - - if(!indices.length){ postMessage({ready:false, error:'no-index'}); return; } - - /* build index objects */ - const built = indices.map(d => ({ - idx : elasticlunr.Index.load(d.json), - urls: d.urls, - cloud: d.cloud, - base: d.cloud ? 'https://cloud.hacktricks.wiki/' : '' - })); - - postMessage({ready:true}); - const MAX = 30, opts = {bool:'AND', expand:true}; - - self.onmessage = ({data:q}) => { - if(!q){ postMessage([]); return; } - - const all = []; - for(const s of built){ - const res = s.idx.search(q,opts); - if(!res.length) continue; - const max = res[0].score || 1; - res.forEach(r => { - const doc = s.idx.documentStore.getDoc(r.ref); - all.push({ - norm : r.score / max, - title: doc.title, - body : doc.body, - breadcrumbs: doc.breadcrumbs, - url : s.base + s.urls[r.ref], - cloud: s.cloud + const indices = []; + const main = await loadWithFallback(MAIN_REMOTE_SOURCES , '/searchindex-book.js', false); if(main) indices.push(main); + const cloud= await loadWithFallback(CLOUD_REMOTE_SOURCES, '/searchindex.js', true ); if(cloud) indices.push(cloud); + if(!indices.length){ postMessage({ready:false, error:'no-index'}); return; } + + /* build index objects */ + built = indices.map(d => ({ + idx : elasticlunr.Index.load(d.json), + urls: d.urls, + cloud: d.cloud, + base: d.cloud ? 'https://cloud.hacktricks.wiki/' : '' + })); + + postMessage({ready:true}); + return; + } + + const q = data.query || data; + if(!q){ postMessage([]); return; } + + const all = []; + for(const s of built){ + const res = s.idx.search(q,opts); + if(!res.length) continue; + const max = res[0].score || 1; + res.forEach(r => { + const doc = s.idx.documentStore.getDoc(r.ref); + all.push({ + norm : r.score / max, + title: doc.title, + body : doc.body, + breadcrumbs: doc.breadcrumbs, + url : s.base + s.urls[r.ref], + cloud: s.cloud + }); }); - }); - } - all.sort((a,b)=>b.norm-a.norm); - postMessage(all.slice(0,MAX)); - }; - })(); - `; + } + all.sort((a,b)=>b.norm-a.norm); + postMessage(all.slice(0,MAX)); + }; + `; + + /* ───────────── 2. spawn worker ───────────── */ + const worker = new Worker(URL.createObjectURL(new Blob([workerCode],{type:'application/javascript'}))); + + /* ───────────── 2.1. initialize worker with language ───────────── */ + const htmlLang = (document.documentElement.lang || 'en').toLowerCase(); + const lang = htmlLang.split('-')[0]; + worker.postMessage({type: 'init', lang: lang}); + + /* ───────────── 3. DOM refs ─────────────── */ + const wrap = document.getElementById('search-wrapper'); + const bar = document.getElementById('searchbar'); + const list = document.getElementById('searchresults'); + const listOut = document.getElementById('searchresults-outer'); + const header = document.getElementById('searchresults-header'); + const icon = document.getElementById('search-toggle'); + + const READY_ICON = icon.innerHTML; + icon.textContent = '⏳'; + icon.setAttribute('aria-label','Loading search …'); + icon.setAttribute('title','Search is loading, please wait...'); - /* ───────────── 2. spawn worker ───────────── */ - const worker = new Worker(URL.createObjectURL(new Blob([workerCode],{type:'application/javascript'}))); - - /* ───────────── 3. DOM refs ─────────────── */ - const wrap = document.getElementById('search-wrapper'); - const bar = document.getElementById('searchbar'); - const list = document.getElementById('searchresults'); - const listOut = document.getElementById('searchresults-outer'); - const header = document.getElementById('searchresults-header'); - const icon = document.getElementById('search-toggle'); - - const READY_ICON = icon.innerHTML; - icon.textContent = '⏳'; - icon.setAttribute('aria-label','Loading search …'); - icon.setAttribute('title','Search is loading, please wait...'); - - const HOT=83, ESC=27, DOWN=40, UP=38, ENTER=13; - let debounce, teaserCount=0; - - /* ───────────── helpers (teaser, metric) ───────────── */ - const escapeHTML = (()=>{const M={'&':'&','<':'<','>':'>','"':'"','\'':'''};return s=>s.replace(/[&<>'"]/g,c=>M[c]);})(); - const URL_MARK='highlight'; - function metric(c,t){return c?`${c} search result${c>1?'s':''} for '${t}':`:`No search results for '${t}'.`;} - - function makeTeaser(body,terms){ - const stem=w=>elasticlunr.stemmer(w.toLowerCase()); - const T=terms.map(stem),W_S=40,W_F=8,W_N=2,WIN=30; - const W=[],sents=body.toLowerCase().split('. '); - let i=0,v=W_F,found=false; - sents.forEach(s=>{v=W_F; s.split(' ').forEach(w=>{ if(w){ if(T.some(t=>stem(w).startsWith(t))){v=W_S;found=true;} W.push([w,v,i]); v=W_N;} i+=w.length+1; }); i++;}); - if(!W.length) return body; - const win=Math.min(W.length,WIN); - const sums=[W.slice(0,win).reduce((a,[,wt])=>a+wt,0)]; - for(let k=1;k<=W.length-win;k++) sums[k]=sums[k-1]-W[k-1][1]+W[k+win-1][1]; - const best=found?sums.lastIndexOf(Math.max(...sums)):0; - const out=[]; i=W[best][2]; - for(let k=best;k'); out.push(body.substr(pos,w.length)); if(wt===W_S) out.push(''); i=pos+w.length;} - return out.join(''); - } - - function format(d,terms){ - const teaser=makeTeaser(escapeHTML(d.body),terms); - teaserCount++; - const enc=encodeURIComponent(terms.join(' ')).replace(/'/g,'%27'); - const parts=d.url.split('#'); if(parts.length===1) parts.push(''); - const abs=d.url.startsWith('http'); - const href=`${abs?'':path_to_root}${parts[0]}?${URL_MARK}=${enc}#${parts[1]}`; - const style=d.cloud?" style=\"color:#1e88e5\"":""; - const isCloud=d.cloud?" [Cloud]":" [Book]"; - return ``+ - `${d.breadcrumbs}${isCloud}${teaser}`; - } - - /* ───────────── UI control ───────────── */ - function showUI(s){wrap.classList.toggle('hidden',!s); icon.setAttribute('aria-expanded',s); if(s){window.scrollTo(0,0); bar.focus(); bar.select();} else {listOut.classList.add('hidden'); [...list.children].forEach(li=>li.classList.remove('focus'));}} - function blur(){const t=document.createElement('input'); t.style.cssText='position:absolute;opacity:0;'; icon.appendChild(t); t.focus(); t.remove();} - - icon.addEventListener('click',()=>showUI(wrap.classList.contains('hidden'))); - - document.addEventListener('keydown',e=>{ - if(e.altKey||e.ctrlKey||e.metaKey||e.shiftKey) return; - const f=/^(?:input|select|textarea)$/i.test(e.target.nodeName); - if(e.keyCode===HOT && !f){e.preventDefault(); showUI(true);} else if(e.keyCode===ESC){e.preventDefault(); showUI(false); blur();} - else if(e.keyCode===DOWN && document.activeElement===bar){e.preventDefault(); const first=list.firstElementChild; if(first){blur(); first.classList.add('focus');}} - else if([DOWN,UP,ENTER].includes(e.keyCode) && document.activeElement!==bar){const cur=list.querySelector('li.focus'); if(!cur) return; e.preventDefault(); if(e.keyCode===DOWN){const nxt=cur.nextElementSibling; if(nxt){cur.classList.remove('focus'); nxt.classList.add('focus');}} else if(e.keyCode===UP){const prv=cur.previousElementSibling; cur.classList.remove('focus'); if(prv){prv.classList.add('focus');} else {bar.focus();}} else {const a=cur.querySelector('a'); if(a) window.location.assign(a.href);}} - }); - - bar.addEventListener('input',e=>{ clearTimeout(debounce); debounce=setTimeout(()=>worker.postMessage(e.target.value.trim()),120); }); - - /* ───────────── worker messages ───────────── */ - worker.onmessage = ({data}) => { - if(data && data.ready!==undefined){ - if(data.ready){ - icon.innerHTML=READY_ICON; - icon.setAttribute('aria-label','Open search (S)'); - icon.removeAttribute('title'); - } - else { - icon.textContent='❌'; - icon.setAttribute('aria-label','Search unavailable'); - icon.setAttribute('title','Search is unavailable'); - } - return; + + const HOT=83, ESC=27, DOWN=40, UP=38, ENTER=13; + let debounce, teaserCount=0; + + /* ───────────── helpers (teaser, metric) ───────────── */ + const escapeHTML = (()=>{const M={'&':'&','<':'<','>':'>','"':'"','\'':'''};return s=>s.replace(/[&<>'"]/g,c=>M[c]);})(); + const URL_MARK='highlight'; + function metric(c,t){return c?`${c} search result${c>1?'s':''} for '${t}':`:`No search results for '${t}'.`;} + + function makeTeaser(body,terms){ + const stem=w=>elasticlunr.stemmer(w.toLowerCase()); + const T=terms.map(stem),W_S=40,W_F=8,W_N=2,WIN=30; + const W=[],sents=body.toLowerCase().split('. '); + let i=0,v=W_F,found=false; + sents.forEach(s=>{v=W_F; s.split(' ').forEach(w=>{ if(w){ if(T.some(t=>stem(w).startsWith(t))){v=W_S;found=true;} W.push([w,v,i]); v=W_N;} i+=w.length+1; }); i++;}); + if(!W.length) return body; + const win=Math.min(W.length,WIN); + const sums=[W.slice(0,win).reduce((a,[,wt])=>a+wt,0)]; + for(let k=1;k<=W.length-win;k++) sums[k]=sums[k-1]-W[k-1][1]+W[k+win-1][1]; + const best=found?sums.lastIndexOf(Math.max(...sums)):0; + const out=[]; i=W[best][2]; + for(let k=best;k'); out.push(body.substr(pos,w.length)); if(wt===W_S) out.push(''); i=pos+w.length;} + return out.join(''); } - const docs=data, q=bar.value.trim(), terms=q.split(/\s+/).filter(Boolean); - header.textContent=metric(docs.length,q); - clear(list); - docs.forEach(d=>{const li=document.createElement('li'); li.innerHTML=format(d,terms); list.appendChild(li);}); - listOut.classList.toggle('hidden',!docs.length); - }; -})(); - + + function format(d,terms){ + const teaser=makeTeaser(escapeHTML(d.body),terms); + teaserCount++; + const enc=encodeURIComponent(terms.join(' ')).replace(/'/g,'%27'); + const parts=d.url.split('#'); if(parts.length===1) parts.push(''); + const abs=d.url.startsWith('http'); + const href=`${abs?'':path_to_root}${parts[0]}?${URL_MARK}=${enc}#${parts[1]}`; + const style=d.cloud?" style=\"color:#1e88e5\"":""; + const isCloud=d.cloud?" [Cloud]":" [Book]"; + return ``+ + `${d.breadcrumbs}${isCloud}${teaser}`; + } + + /* ───────────── UI control ───────────── */ + function showUI(s){wrap.classList.toggle('hidden',!s); icon.setAttribute('aria-expanded',s); if(s){window.scrollTo(0,0); bar.focus(); bar.select();} else {listOut.classList.add('hidden'); [...list.children].forEach(li=>li.classList.remove('focus'));}} + function blur(){const t=document.createElement('input'); t.style.cssText='position:absolute;opacity:0;'; icon.appendChild(t); t.focus(); t.remove();} + + icon.addEventListener('click',()=>showUI(wrap.classList.contains('hidden'))); + + document.addEventListener('keydown',e=>{ + if(e.altKey||e.ctrlKey||e.metaKey||e.shiftKey) return; + const f=/^(?:input|select|textarea)$/i.test(e.target.nodeName); + if(e.keyCode===HOT && !f){e.preventDefault(); showUI(true);} else if(e.keyCode===ESC){e.preventDefault(); showUI(false); blur();} + else if(e.keyCode===DOWN && document.activeElement===bar){e.preventDefault(); const first=list.firstElementChild; if(first){blur(); first.classList.add('focus');}} + else if([DOWN,UP,ENTER].includes(e.keyCode) && document.activeElement!==bar){const cur=list.querySelector('li.focus'); if(!cur) return; e.preventDefault(); if(e.keyCode===DOWN){const nxt=cur.nextElementSibling; if(nxt){cur.classList.remove('focus'); nxt.classList.add('focus');}} else if(e.keyCode===UP){const prv=cur.previousElementSibling; cur.classList.remove('focus'); if(prv){prv.classList.add('focus');} else {bar.focus();}} else {const a=cur.querySelector('a'); if(a) window.location.assign(a.href);}} + }); + + bar.addEventListener('input',e=>{ clearTimeout(debounce); debounce=setTimeout(()=>worker.postMessage({query: e.target.value.trim()}),120); }); + + /* ───────────── worker messages ───────────── */ + worker.onmessage = ({data}) => { + if(data && data.ready!==undefined){ + if(data.ready){ + icon.innerHTML=READY_ICON; + icon.setAttribute('aria-label','Open search (S)'); + icon.removeAttribute('title'); + } + else { + icon.textContent='❌'; + icon.setAttribute('aria-label','Search unavailable'); + icon.setAttribute('title','Search is unavailable'); + } + return; + } + const docs=data, q=bar.value.trim(), terms=q.split(/\s+/).filter(Boolean); + header.textContent=metric(docs.length,q); + clear(list); + docs.forEach(d=>{const li=document.createElement('li'); li.innerHTML=format(d,terms); list.appendChild(li);}); + listOut.classList.toggle('hidden',!docs.length); + }; + })(); + \ No newline at end of file