6 999
contributi
Wiki script - Dump sorgenti delle guide: differenze tra le versioni
Vai alla navigazione
Vai alla ricerca
Wiki script - Dump sorgenti delle guide (visualizza wikitesto)
Versione delle 21:36, 22 mar 2013
, 22 mar 2013categorie, autore e versioni compatibili
S3v (discussione | contributi) (nuova pagina) |
S3v (discussione | contributi) (categorie, autore e versioni compatibili) |
||
| Riga 1: | Riga 1: | ||
{{Versioni compatibili}} | |||
Questo [[script]] si occupa di creare un file di testo contenente la pagina sorgente di tutte le guide del Wiki.<br> | Questo [[script]] si occupa di creare un file di testo contenente la pagina sorgente di tutte le guide del Wiki.<br> | ||
Lo script si basa sul file "listaguide_source_url" creato con [[Wiki script - Lista delle guide|quest'altro script]]. | Lo script si basa sul file "listaguide_source_url" creato con [[Wiki script - Lista delle guide|quest'altro script]]. | ||
| Riga 52: | Riga 56: | ||
rm "$temp" | rm "$temp" | ||
</pre> | </pre> | ||
{{Autori | |||
|Autore=[[Utente:S3v|S3v]] 22:36, 22 mar 2013 (CET) | |||
}} | |||
[[Categoria:Bash Scripting]][[Categoria:Wiki]] | |||