[Gruppo-doc] Wiki in pdf

[Jeremie Tamburini]

Il giorno 11 novembre 2016 02:07, Alessandro Viprati <
vipri.alessandro a gmail.com> ha scritto:

> Non vi avevo ancora informati, ma oggi ho fatto un download del portale
> *Installazione* in locale utilizzando* wget*, creando diversi file html
> per ogni pagina:
>
>  * $ mkdir 'BackupWiki'
>  * $ cd BackupWiki
>  * $ gedit list_installazione.txt
>  * copia/incolla di questo: https://pastebin.ubuntu.com/23458767/
>  * salvare il file
>  * $ wget \
> >      --mirror \
> >      --page-requisites \
> >      --html-extension \
> >      --convert-links \
> >      --restrict-file-names=windows \
> >      --domains wiki.ubuntu-it.org \
> >      --no-parent \
> >      -i '/home/NOMEUTENTE/BackupWiki/list_installazione.txt'
>
> Tempo una ventina di secondi e tutte le pagine elencate in
> "list_installazione.txt" sono salvate nella cartella ~BackupWiki/
>

Forte 'sta roba!

Avevo provato a dare qualche comando abbastanza scempio con wget ma il
risultato era stato pessimo. Così invece è perfetto.
Per ottenere la lista degli indirizzi (quella su pastebin) hai usato
qualche "espediente"?
In generale per ogni portale potremmo allegare uno script già
pre-impostato, così viene avviato con un unico comando.

I download globale del wiki, se ripristinato, avrebbe un inconveniente..
sarebbero scaricate anche le pagine che non riguardano la documentazione.
Per questo motivo un tempo gli admin pensarono di suddividere le pagine
della comunità dalla documentazione. In casi come questo effettivamente
avrebbe avuto la sua convenienza. Poi la cosa non andò in porto.

Comunque, questa del download per sezione, potrebbe essere una via
veramente percorribile :)

Ciao
Jeremie
-------------- parte successiva --------------
Un allegato HTML è stato rimosso...
URL: <http://liste.ubuntu-it.org/pipermail/gruppo-doc/attachments/20161111/42d1c90f/attachment.htm>