Wikibooks:Elenchi generati offline/Libri

Questo elenco generato il 10 febbraio 2024 da una query su una copia del database di Wikibooks raccoglie tutte le pagine che nel titolo non contengono lo slash e che non sono redirect: quindi i libri.

Un elenco aggiornato è disponibile all'indirizzo [1].

Query

SELECT CONCAT( '# [[', page_title, ']]')
FROM page
WHERE page_is_redirect LIKE 0
AND page_namespace LIKE 0
AND page_title NOT LIKE "Pagina_principale"
AND page_title NOT LIKE '%/%'
ORDER BY page_title;

Alternative

Apri [2], scorri fino al dump più recente, scarica il dump "List of page titles"; scompattalo.
Esegui su terminale (Unix/Linux):

    echo 'titoli = [' > titoli.txt
    grep -v '/' < list_of_page_titles | sed 's/\"/\\"/g ; s/^/"/ ; s/$/",/' >> titoli.txt
    echo '];' >> titoli.txt

Apri una pagina di Wikibooks, e la console Javascript del browser.
Copia tutto il testo del file titoli.txt ed eseguilo nella console come una sola istruzione JS.
Incolla questo codice nella console ed eseguilo:

libri = [];
for(i = 0, j = 10; i < titoli.length; i+= 10, j+= 10) {
    console.log("Scarico " + Math.min(j, titoli.length) + " di " + titoli.length + "...");
    libri = libri.concat( selezionaNonRedirect(titoli.slice(i, j)) );
}
libri.sort();
console.log("Elenco dei libri:");
stampaElencoLibri(libri);
console.log("Fine elenco.");

// @param titoli Un array di non più di 10 titoli.
function selezionaNonRedirect(titoli) {
    query = $.ajax({
            url: mw.util.wikiScript('api'),
            // Questa API non supporta più di 10 titoli alla volta...
            data: { action: 'query', prop: 'info', titles: titoli.join("|"), format: 'json' },
            type: 'POST', async: false
    });
    pagine = JSON.parse(query.responseText).query.pages;


    var elenco = [];
    for(id in pagine) {
        titolo = pagine[id].title;

        isRedirect = (pagine[id].redirect != undefined);
        isFake = titolo.match(/page title/i) || titolo.match(/pagina principale/i);
        if (!isRedirect && !isFake)
            elenco.push( titolo );
    }
    return elenco;
} // selezionaNonRedirect()

function stampaElencoLibri(elenco) {
    for(i = 0; i < elenco.length; i++) {
        console.log( "#[[" + elenco[i] + "]]" )
    }
}

Elenco