Ecco un paio di motori di ricerca per gli utenti Debian:
- "Pacchetti Debian" (associato a "pkg"):
http://packages.debian.org/search?keywords=%s&searchon=names&suite=all§ion=all
- "Manpage" (associato a "man"):
http://manpages.debian.org/cgi-bin/man.cgi?query=%s&apropos=0&sektion=0&manpath=Debian+7.0+wheezy&format=html&locale=en
- "Debian Bug Tracking" (associato a "bug"):
http://bugs.debian.org/%s
Per applicare questi motori personalizzati a Chromium, basta andare su Impostazioni → Ricerca → Gestisci motori di ricerca... Dopodiché basterà scrivere "pkg gnome" sulla barra degli URL per andare direttamente alla pagina del pacchetto gnome. Oppure "man bash" per avere il manuale della shell. O infine "bug 724726" per vedere il baco numero #724726.
Commenti
Inviato da mcortese il Lun, 26/09/2016 - 00:55.
Re: Motori di ricerca
Purtroppo il servizio manpages.debian.org è stato disattivato in attesa di trovare un server che lo ospiti. Nel frattempo, un non così valido sostituto è man.cx:
Inviato da mcortese il Ven, 07/04/2017 - 18:50.
Re: Motori di ricerca
Il nuovo sito con le man page di Debian è ora disponibile. Ed è velocissimo perché i contenuti sono statici, non generati dinamicamente. A darne l'annuncio è un articolo di LWN.
Il nuovo URL è
Inviato da mcortese il Dom, 30/04/2017 - 17:49.
Re: Motori di ricerca
Aggiungo una nuova ricerca utile per chi ama andare a spulciare i sorgenti del kernel ma non ha l'intero repository git clonato in locale:
Esempio:
Funziona anche con i primi 8 caratteri del commit: