Motori di ricerca

Ven, 02/05/2014 - 01:00
Ritratto di mcortese

Motori di ricerca

Inviato da mcortese 2 commenti

Ecco un paio di motori di ricerca per gli utenti Debian:

  1. "Pacchetti Debian" (associato a "pkg"): http://packages.debian.org/search?keywords=%s&searchon=names&suite=all&section=all
  2. "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
  3. "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

Ritratto di mcortese
#1

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:

http://man.cx/?page=%s



Ritratto di mcortese
#2

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 è

https://dyn.manpages.debian.org/jump?q=%s