6 999
contributi
Wiki script - Dump sorgenti delle guide (Python 3): differenze tra le versioni
Vai alla navigazione
Vai alla ricerca
Wiki script - Dump sorgenti delle guide (Python 3) (visualizza wikitesto)
Versione delle 16:26, 13 lug 2019
, 13 lug 2019verificata per buster e inferiori
S3v (discussione | contributi) (file scritto con codifica UTF8 e modifiche minori) |
S3v (discussione | contributi) (verificata per buster e inferiori) |
||
| (Una versione intermedia di uno stesso utente non è mostrata) | |||
| Riga 1: | Riga 1: | ||
{{Versioni compatibili|Jessie| | {{Versioni compatibili|Jessie|Stretch|Buster}} | ||
Questo semplice [[script]] Python 3 si occupa di effettuare il download dei sorgenti delle guide di questo Wiki.<br/> | Questo semplice [[script]] Python 3 si occupa di effettuare il download dei sorgenti delle guide di questo Wiki.<br/> | ||
| Riga 12: | Riga 12: | ||
<pre> | <pre> | ||
#!/usr/bin/python3 | #!/usr/bin/python3 | ||
# -*- coding: utf8 -*- | |||
import urllib.parse | import urllib.parse | ||
| Riga 37: | Riga 38: | ||
# decodifica risposta | # decodifica risposta | ||
risposta_dec = risposta.read().decode('utf-8') | risposta_dec = risposta.read().decode('utf-8') | ||
# decodifica in JSON | # decodifica in JSON convertendo gli interi in stringhe | ||
dati_json = json.loads(risposta_dec, parse_int=str) | dati_json = json.loads(risposta_dec, parse_int=str) | ||
return | return dati_json | ||
except urllib.error.URLError as e: | except urllib.error.URLError as e: | ||
| Riga 170: | Riga 171: | ||
# parsing di caratteri non consentiti in URL (i.e. il carattere "+") | # parsing di caratteri non consentiti in URL (i.e. il carattere "+") | ||
name_parsed = urllib.parse.quote(v[0]) | name_parsed = urllib.parse.quote(v[0]) | ||
print("Script terminato") | url = ''.join(('guide.debianizzati.org/index.php?title=', name_parsed, '&action=edit')) | ||
f.write('\n'.join(('þþþþ', url, v[1], 'øøøø', ''))) | |||
print("Script terminato") | |||
</pre> | </pre> | ||